Reactive switching protocols for multi-robot high-level tasks
暂无分享,去创建一个
[1] Vijay Kumar,et al. Concurrent assignment and planning of trajectories for large teams of interchangeable robots , 2013, 2013 IEEE International Conference on Robotics and Automation.
[2] Nidhi Kalra,et al. Market-Based Multirobot Coordination: A Survey and Analysis , 2006, Proceedings of the IEEE.
[3] Vijay Kumar,et al. Synthesis of feedback controllers for multiple aerial robots with geometric constraints , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[4] Hadas Kress-Gazit,et al. Synthesis for multi-robot controllers with interleaved motion , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[5] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[6] Calin Belta,et al. Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.
[7] Vijay Kumar,et al. Decentralized Multirobot Control in Partially Known Environments with Dynamic Task Reassignment , 2012 .
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[10] Ufuk Topcu,et al. Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.
[11] Hadas Kress-Gazit,et al. Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations , 2013, 2013 IEEE International Conference on Robotics and Automation.
[12] Calin Belta,et al. Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions , 2007, IEEE Transactions on Robotics.