On the timed temporal logic planning of coupled multi-agent systems
DOI10.1016/j.automatica.2018.08.023zbMath1406.93029arXiv1709.06888OpenAlexW2964257036MaRDI QIDQ1716548
Dimos V. Dimarogonas, Dimitris Boskos, Alexandros Nikou, Jana Tůmová
Publication date: 5 February 2019
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.06888
hybrid systemsformal verificationmulti-agent systemsdiscrete event systemscooperative controlabstractionstimed logics
Decentralized systems (93A14) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Agent technology and artificial intelligence (68T42)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A theory of timed automata
- \textsc{MightyL}: a compositional translation from MITL to timed automata
- Checking timed Büchi automata emptiness on simulation graphs
- Receding horizon control for temporal logic specifications
- Reactive synthesis from signal temporal logic specifications
- From MITL to Timed Automata
- Verification and Control of Hybrid Systems
- The benefits of relaxing punctuality
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
This page was built for publication: On the timed temporal logic planning of coupled multi-agent systems