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

zbMATH Keywords

hybrid systemsformal verificationmulti-agent systemsdiscrete event systemscooperative controlabstractionstimed logics

Mathematics Subject Classification ID

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

Optimal control of multi-task Boolean control networks via temporal logic ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Uses Software

• Matlab

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