Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications

DOI10.1016/J.AUTOMATICA.2022.110228zbMath1485.93027OpenAlexW4220689301MaRDI QIDQ2125520

Jie Fang, Zetian Zhang, Raghvendra V. Cowlagi

Publication date: 14 April 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110228

zbMATH Keywords

linear temporal logicmulti-agent systemspath-planning

Mathematics Subject Classification ID

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

Uses Software

• VRP
• SPOT
• SCOTS

Cites Work

• Unnamed Item
• Multi-agent planning under local LTL specifications and event-based synchronization
• Formal methods for discrete-time dynamical systems
• The Vehicle Routing Problem
• Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
• SCOTS
• Manipulating LTL Formulas Using Spot 1.0

This page was built for publication: Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications