Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks

DOI10.1016/J.AUTOMATICA.2023.111377MaRDI QIDQ6537337zbMATH OpenFDO

Authors Zesen Liu, Meng Guo, Zhongkui Li

Publication date 14 May 2024

Published in Automatica (Search for Journal in Brave)

zbMATH Keywords

anytime searchlinear temporal logicnetworked robotstask coordination

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44) Multi-agent systems (93A16)

Recommendations

• Multi-agent planning under local LTL specifications and event-based synchronization
• On the timed temporal logic planning of coupled multi-agent systems
• Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
• Multi-agent system motion planning under temporal logic specifications and control barrier function

Cites work

• scientific article; zbMATH DE number 1749220 (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
• Formal methods for discrete-time dynamical systems
• Mathematical tools for data mining. Set theory, partial orders, combinatorics
• Multi-agent planning under local LTL specifications and event-based synchronization

This page was built for publication: Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6537337)