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