Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic.
Eleftherios E. VlahakisLars LindemannDimos V. DimarogonasPublished in: CoRR (2023)
Keyphrases
- temporal logic
- receding horizon
- multi agent systems
- air traffic control
- model checking
- optimal linear
- multi agent
- formation control
- modal logic
- cooperative
- distributed systems
- satisfiability problem
- unmanned aerial vehicles
- coalition formation
- linear temporal logic
- control strategy
- verification method
- dynamic constraints
- transition systems
- control method
- mazurkiewicz traces
- adaptive control
- belief revision
- multi robot systems
- epistemic logic
- artificial intelligence
- bounded model checking
- autonomous agents
- computation tree logic
- decision making