Multi-agent planning under local LTL specifications and event-based synchronization

DOI10.1016/j.automatica.2016.04.006zbMath1339.93080arXiv1610.08380OpenAlexW2343223723MaRDI QIDQ290878

Jana Tůmová, Dimos V. Dimarogonas

Publication date: 3 June 2016

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.08380

zbMATH Keywords

decentralized controlsynchronizationformal verificationpath planningtemporal logicfinite state machinesrobot control

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Agent technology and artificial intelligence (68T42)

Related Items (10)

Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Path planning for robotic teams based on LTL specifications and Petri net models ⋮ Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ A distributed approach to robust control of multi-robot systems ⋮ Multi-robot LTL planning under uncertainty ⋮ Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Funnel control for fully actuated systems under a fragment of signal temporal logic specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning
• Receding horizon control for temporal logic specifications
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Planning Algorithms

This page was built for publication: Multi-agent planning under local LTL specifications and event-based synchronization