Communication-aware motion planning for multi-agent systems from signal temporal logic specifications

Citations Over TimeTop 10% of 2017 papers

Abstract

We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-agent communication. The proposed synthesis framework consists of desired motion specifications in temporal logic (STL) formulas and a local motion controller that ensures the underlying agent not only to accomplish the local specifications but also to avoid collisions with other agents or possible obstacles, while maintaining an optimized communication quality of service (QoS) among the agents. Utilizing a Gaussian fading model for wireless communication channels, the framework synthesizes the desired motion controller by solving a joint optimization problem on motion planning and wireless communication, in which both the STL specifications and the wireless communication conditions are encoded as mixed integer-linear constraints on the variables of the agents' dynamical states and communication channel status. The overall framework is demonstrated by a case study of communication-aware multi-robot motion planning and the effectiveness of the framework is validated by simulation results.

Related Papers

• → Alternating-time temporal logic(2002)313 cited
• → Monitoring Algorithms for Metric Temporal Logic Specifications(2005)172 cited
• → Characterizing Kripke structures in temporal logic(1987)38 cited
• → Temporal logic control of discrete-time piecewise affine systems(2009)10 cited
• → The Comparison of Expressiveness Between LTL and IGPoLTL(2016)1 cited