Hybrid Control of Multiagent Systems With Contingent Temporal Tasks and Prescribed Formation Constraints

In this paper, we present a distributed hybrid control strategy for multiagent systems with contingent temporal tasks and prescribed formation constraints. Each agent is assigned a local task given as a linear temporal logic formula. In addition, two commonly seen kinds of cooperative robotic tasks, namely, service and formation, are requested and exchanged among the agents in real time. The service request is a short-term task provided by one agent to another. On the other hand, the formation request is a relative deployment requirement with predefined transient response imposed by an associated performance function. The proposed hybrid control strategy consists of four major components: 1) the contingent requests handling module; 2) the real-time events monitoring module; 3) the local discrete plan synthesis module; and 4) the continuous control switching module, and it is shown that all local tasks and contingent service/formation requests are fulfilled. Finally, a simulated paradigm demonstrates the proposed control strategy.

[1]  Antonio Bicchi,et al.  Symbolic planning and control of robot motion [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[2]  Emilio Frazzoli,et al.  Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning , 2008 .

[3]  D. Koditschek,et al.  Robot navigation functions on manifolds with boundary , 1990 .

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

[5]  Paul Gastin,et al.  Fast LTL to Büchi Automata Translation , 2001, CAV.

[6]  Petter Ögren,et al.  A control Lyapunov function approach to multi-agent coordination , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[7]  Lydia E. Kavraki,et al.  Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.

[8]  George J. Pappas,et al.  Translating Temporal Logic to Controller Specifications , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[9]  Kostas J. Kyriakopoulos,et al.  Closed loop navigation for multiple non-holonomic vehicles , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[10]  Hadas Kress-Gazit,et al.  Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[11]  Ali Jadbabaie,et al.  Density Functions for Navigation Function Based Systems , 2008, Proceedings of the 45th IEEE Conference on Decision and Control.

[12]  K.J. Kyriakopoulos,et al.  Automated Planning of Motion Tasks for Multi-Robot Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[13]  Charalampos P. Bechlioulis,et al.  Robust model-free formation control with prescribed performance and connectivity maintenance for nonlinear multi-agent systems , 2014, 53rd IEEE Conference on Decision and Control.

[14]  Orna Kupferman,et al.  Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..

[15]  K.J. Kyriakopoulos,et al.  Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[16]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[17]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[18]  Dimos V. Dimarogonas,et al.  A receding horizon approach to multi-agent planning from local LTL specifications , 2014, 2014 American Control Conference.

[19]  Calin Belta,et al.  Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..

[20]  Emilio Frazzoli,et al.  Linear temporal logic vehicle routing with applications to multi‐UAV mission planning , 2011 .

[21]  Yushan Chen,et al.  Formal Approach to the Deployment of Distributed Robotic Teams , 2012, IEEE Transactions on Robotics.

[22]  Dimos V. Dimarogonas,et al.  Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications , 2013, 52nd IEEE Conference on Decision and Control.

[23]  Christel Baier,et al.  Principles of model checking , 2008 .

[24]  Magnus Egerstedt,et al.  Distributed Coordination Control of Multiagent Systems While Preserving Connectedness , 2007, IEEE Transactions on Robotics.

[25]  H. Freud.  Mathematical Control Theory , 2016 .

[26]  Charalampos P. Bechlioulis,et al.  Robust Adaptive Control of Feedback Linearizable MIMO Nonlinear Systems With Prescribed Performance , 2008, IEEE Transactions on Automatic Control.

[27]  Dimos V. Dimarogonas,et al.  Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..

[28]  Mark Reynolds,et al.  Continuous Temporal Models , 2001, Australian Joint Conference on Artificial Intelligence.