Formal synthesis of supervisory control software for multiple robot systems
暂无分享,去创建一个
[1] J. G. Thistle,et al. Control of Infinite Behavior of Finite Automata , 1994 .
[2] Calin Belta,et al. Distributed implementations of global temporal logic motion specifications , 2008, 2008 IEEE International Conference on Robotics and Automation.
[3] R. Malik,et al. Modular nonblocking verification using conflict equivalence , 2006, 2006 8th International Workshop on Discrete Event Systems.
[4] Stéphane Lafortune,et al. Multi-level hierarchical interface-based supervisory control , 2010, Autom..
[5] Makoto Yokoo,et al. Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents , 2009, IEEE Transactions on Control Systems Technology.
[6] Walter Murray Wonham,et al. Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.
[7] Joel W. Burdick,et al. Backtracking temporal logic synthesis for uncertain environments , 2012, 2012 IEEE International Conference on Robotics and Automation.
[8] Richard C. Hill,et al. Incremental hierarchical construction of modular supervisors for discrete-event systems , 2008, Int. J. Control.
[9] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[10] Paulo Tabuada,et al. Safety-Guarantee Controller Synthesis for Cyber-Physical Systems , 2010, ArXiv.
[11] E. Roszkowska,et al. Decentralized motion-coordination policy for cooperative mobile robots , 2008, 2008 9th International Workshop on Discrete Event Systems.
[12] Walter Murray Wonham,et al. Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.
[13] Lei Feng,et al. Supervisory Control Architecture for Discrete-Event Systems , 2008, IEEE Transactions on Automatic Control.
[14] Iwan Ulrich,et al. VFH/sup */: local obstacle avoidance with look-ahead verification , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[15] Stéphane Lafortune,et al. Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution , 2010, Discret. Event Dyn. Syst..
[16] Calin Belta,et al. Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees , 2010, 2010 IEEE International Conference on Robotics and Automation.
[17] Maxim Likhachev,et al. D*lite , 2002, AAAI/IAAI.