Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach

This paper develops a controller synthesis approach for a multi-agent system (MAS) with intermittent communication. We adopt a leader-follower scheme, where a mobile leader with absolute position sensors switches among a set of followers without absolute position sensors to provide each follower with intermittent state information. We model the MAS as a switched system. The followers are to asymptotically reach a predetermined consensus state. To guarantee the stability of the switched system and the consensus of the followers, we derive maximum and minimal dwell-time conditions to constrain the intervals between consecutive time instants at which the leader should provide state information to the same follower. Furthermore, the leader needs to satisfy practical constraints such as charging its battery and staying in specific regions of interest. Both the maximum and minimum dwell-time conditions and these practical constraints can be expressed by metric temporal logic (MTL) specifications. We iteratively compute the optimal control inputs such that the leader satisfies the MTL specifications, while guaranteeing stability and consensus of the followers. We implement the proposed method on a case study with three mobile robots as the followers and one quadrotor as the leader.

[1]  George J. Pappas,et al.  Robustness of Temporal Logic Specifications , 2006, FATES/RV.

[2]  Dana Fisman,et al.  Reasoning with Temporal Logic on Truncated Paths , 2003, CAV.

[3]  Joe H. Chow,et al.  Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications , 2019, IEEE Systems Journal.

[4]  Tongwen Chen,et al.  Event based agreement protocols for multi-agent networks , 2013, Autom..

[5]  Hai Lin,et al.  Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[6]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[7]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[8]  Dimos V. Dimarogonas,et al.  Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications , 2017, ArXiv.

[9]  Joe H. Chow,et al.  Optimal energy storage control for frequency regulation under temporal logic specifications , 2017, 2017 American Control Conference (ACC).

[10]  Xiaofeng Wang,et al.  Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.

[11]  A. Agung Julius,et al.  An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications , 2016, 2016 American Control Conference (ACC).

[12]  George J. Pappas,et al.  Multi-agent coordination with asynchronous cloud access , 2016, 2016 American Control Conference (ACC).

[13]  Panos J. Antsaklis,et al.  Results and Perspectives on Computational Methods for Optimal Control of Switched Systems , 2003, HSCC.

[14]  Joe H. Chow,et al.  Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications , 2018, 2018 Annual American Control Conference (ACC).

[15]  Sandipan Mishra,et al.  Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots , 2019, IEEE Transactions on Automation Science and Engineering.

[16]  Hai Lin,et al.  Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints , 2015, ADHS.

[17]  W. P. M. H. Heemels,et al.  Model-based periodic event-triggered control for linear systems , 2013, Autom..

[18]  Ufuk Topcu,et al.  Transfer of Temporal Logic Formulas in Reinforcement Learning , 2019, IJCAI.

[19]  Orna Kupferman,et al.  Model Checking of Safety Properties , 1999, CAV.

[20]  Joël Ouaknine,et al.  Online Monitoring of Metric Temporal Logic , 2014, RV.

[21]  Hai Lin,et al.  Privacy Verification and Enforcement via Belief Abstraction , 2018, IEEE Control Systems Letters.

[22]  Hai Lin,et al.  Communication-aware motion planning for multi-agent systems from signal temporal logic specifications , 2017, 2017 American Control Conference (ACC).

[23]  Joël Ouaknine,et al.  On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[24]  Hai Lin,et al.  Permissive Supervisor Synthesis for Markov Decision Processes Through Learning , 2017, IEEE Transactions on Automatic Control.

[25]  Hsi-Yuan Chen,et al.  A Switched Systems Approach to Consensus of a Distributed Multi-agent System with Intermittent Communication , 2019, 2019 American Control Conference (ACC).

[26]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[27]  Tingwen Huang,et al.  Event-Triggering Sampling Based Leader-Following Consensus in Second-Order Multi-Agent Systems , 2015, IEEE Transactions on Automatic Control.

[28]  Warren E. Dixon,et al.  Event-Triggered Control of Multiagent Systems for Fixed and Time-Varying Network Topologies , 2017, IEEE Transactions on Automatic Control.

[29]  Vasumathi Raman,et al.  BluSTL: Controller Synthesis from Signal Temporal Logic Specifications , 2015, ARCH@CPSWeek.

[30]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[31]  Ufuk Topcu,et al.  Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).