Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks
暂无分享,去创建一个
[1] Howie Choset,et al. Composition of local potential functions for global robot control and navigation , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).
[2] Michael M. Zavlanos,et al. Intermittent connectivity control in mobile robot networks , 2015, 2015 49th Asilomar Conference on Signals, Systems and Computers.
[3] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[4] Dimos V. Dimarogonas,et al. Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..
[5] Emilio Frazzoli,et al. Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications , 2012, 2012 American Control Conference (ACC).
[6] Emilio Frazzoli,et al. Sampling-based motion planning with deterministic μ-calculus specifications , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[7] Richard E. Korf,et al. Best-First Frontier Search with Delayed Duplicate Detection , 2004, AAAI.
[8] Ali Esmaili,et al. Probability and Random Processes , 2005, Technometrics.
[9] Stephan Merz,et al. Model Checking , 2000 .
[10] Yushan Chen,et al. Formal Approach to the Deployment of Distributed Robotic Teams , 2012, IEEE Transactions on Robotics.
[11] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[12] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[13] Michael M. Zavlanos,et al. Distributed data gathering with buffer constraints and intermittent communication , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).
[14] Calin Belta,et al. Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization , 2012, DARS.
[15] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[16] Christel Baier,et al. Principles of model checking , 2008 .
[17] C. Belta,et al. Constructing decidable hybrid systems with velocity bounds , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[18] Michael M. Zavlanos,et al. Sampling-Based Control Synthesis for Multi-robot Systems under Global Temporal Specifications , 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
[19] Calin Belta,et al. Discrete abstractions for robot motion planning and control in polygonal environments , 2005, IEEE Transactions on Robotics.
[20] Paul Gastin,et al. Fast LTL to Büchi Automata Translation , 2001, CAV.
[21] Dimos V. Dimarogonas,et al. Decentralized Abstractions For Multi-Agent Systems Under Coupled Constraints , 2015, Eur. J. Control.
[22] P. Gács,et al. Algorithms , 1992 .
[23] Calin Belta,et al. Sampling-based temporal logic path planning , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[24] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[25] Karl Henrik Johansson,et al. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.
[26] Calin Belta,et al. Optimal path planning under temporal logic constraints , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[27] 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.
[28] Yushan Chen,et al. Synthesis of distributed control and communication schemes from global LTL specifications , 2011, IEEE Conference on Decision and Control and European Control Conference.
[29] Calin Belta,et al. Reachability Analysis of Multi-affine Systems , 2006, HSCC.
[30] Calin Belta,et al. Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..
[31] Calin Belta,et al. Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints , 2016, Auton. Robots.
[32] Marta Z. Kwiatkowska,et al. PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.
[33] Emilio Frazzoli,et al. Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..
[34] Lydia E. Kavraki,et al. Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.
[35] Hadas Kress-Gazit,et al. Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[36] Calin Belta,et al. Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..
[37] Calin Belta,et al. Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.
[38] Steven M. LaValle,et al. Planning algorithms , 2006 .
[39] Michael M. Zavlanos,et al. Distributed Intermittent Connectivity Control of Mobile Robot Networks , 2017, IEEE Transactions on Automatic Control.