Probabilistic Plan Synthesis for Coupled Multi-Agent Systems

This paper presents a fully automated procedure for controller synthesis for multi-agent systems under the presence of uncertainties. We model the motion of each of the N agents in the environment ...

[1]  Dimos V. Dimarogonas,et al.  Cooperative planning for coupled multi-agent systems under timed temporal specifications , 2016, 2017 American Control Conference (ACC).

[2]  Calin Belta,et al.  Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints , 2014, IEEE Transactions on Automatic Control.

[3]  Ufuk Topcu,et al.  Optimal control in Markov decision processes via distributed optimization , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

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

[5]  Marta Z. Kwiatkowska,et al.  Automated Verification Techniques for Probabilistic Systems , 2011, SFM.

[6]  Calin Belta,et al.  Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees , 2012, IEEE Transactions on Robotics.

[7]  Emilio Frazzoli,et al.  Vehicle Routing Problem with Metric Temporal Logic Specifications , 2008, 2008 47th IEEE Conference on Decision and Control.

[8]  Jing Wang,et al.  Temporal logic motion control using actor–critic methods , 2012, 2012 IEEE International Conference on Robotics and Automation.

[9]  Jan J. M. M. Rutten,et al.  Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[10]  Ufuk Topcu,et al.  Robust control of uncertain Markov Decision Processes with temporal logic specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[11]  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.

[12]  Michael M. Zavlanos,et al.  A distributed LTL-based approach for intermittent communication in mobile robot networks , 2016, 2016 American Control Conference (ACC).

[13]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[14]  Tony J. Dodd,et al.  Sampling-based stochastic optimal control with metric interval temporal logic specifications , 2016, 2016 IEEE Conference on Control Applications (CCA).

[15]  Hai Lin,et al.  Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning , 2016, 2016 American Control Conference (ACC).

[16]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.

[17]  Calin Belta,et al.  Temporal logic control in dynamic environments with probabilistic satisfaction guarantees , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[19]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[20]  Hai Lin,et al.  Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning , 2015, 2015 American Control Conference (ACC).

[21]  Calin Belta,et al.  LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees , 2011, ArXiv.

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

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

[24]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[25]  Dimos V. Dimarogonas,et al.  Cooperative task planning of multi-agent systems under timed temporal specifications , 2016, 2016 American Control Conference (ACC).

[26]  Thomas Bak,et al.  Planning : A Timed Automata Approach , 2004 .