Managing non-determinism in symbolic robot motion planning and control

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2007, Pages 3110-3115

  Kloetzer, Marius ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR TEMPORAL LOGIC (LTL); NON-DETERMINISTIC TRANSITIONS;

CONTROL SYSTEMS; GAME THEORY; PROBLEM SOLVING; ROBOTS;

MOTION PLANNING;

EID: 36349010719     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2007.363945     Document Type: Conference Paper

References (22)

1. J. C. Latombe, Robot Motion Planning. Kluger Academic Pub., 1991.
2. H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L. E. Kavraki, and S. Thrun, Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Boston, 2005.
3. S. Lindemann and S. LaValle, "Computing smooth feedback plans over cylindrical algebraic decompositions," in Proceedings of Robotics: Science and Systems, Cambridge, USA, June 2006.
4. D. Conner, H. Choset, and A. Rizzi, "Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies," in Proceedings of Robotics: Science and Systems, Cambridge, USA, June 2006.
5. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Trans. on Robotics, vol. 21, no. 5, pp. 864-874, 2005.
6. M. Kloetzer and C. Belta, "A framework for automatic deployment of robots in 2D and 3D environments," in IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing, China, 2006.
7. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Hybrid controllers for path planning: a temporal logic approach," in Proceedings of the 2005 IEEE Conference on Decision and Control, Seville, Spain, December 2005.
8. M. Kloetzer and C. Belta, "Hierarchical abstractions for robotic swarms," in IEEE International Conference on Robotics and Automation, Orlando, FL, 2006.
9. L. Habets, P. Collins, and J. van Schuppen, "Reachability and control synthesis for piecewise-affine hybrid systems on simplices," IEEE Trans. Aut Control, vol. 51, pp. 938-948, 2006.
10. L. Habets, M. Kloetzer, and C. Belta, "Control of rectangular multiaffine hybrid systems," in 45th IEEE Conference on Decision and Control, San Diego, CA, 2006.
11. W. Thomas, "Infinite games and verification," in Proceedings of the International Conference on Computer Aided Verification, CAV'02, 2002, pp. 58-64.
12. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer, 1995.
13. W. Thomas, "Automata on infinite objects," in Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, J. van Leeuwen, Ed. Amsterdam: Elsevier, 1990, pp. 133-191.
14. J. R. Btlchi, "On a decision method in restricted second order arithmetic," in Proceedings of the International Congress on Logic, Methodology and Philosophy of Science 1960, E. N. et al., Ed. Stanford, CA: Stanford University Press, 1962, p. 112.
15. S. L. Torre, "Deciding games in LTL fragments," Seminar - Centre Fédéré en Vérification, Belgium, March 2004.
16. W. Thomas, "Automata theoretic foundations of infinite games," Spring School on Infinite Games and Their Applications, Bonn, March 2005.
17. S. Safra, "Complexity of automata on infinite objects," Ph.D. dissertation, The Weizman Institute of Science, Rehovot, Israel, 1989.
18. G. Holzmann, The Spin Model Checker, Primer and Reference Manual. Reading, Massachusetts: Addison-Wesley, 2004.
19. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from LTL specifications," in The 9th International Workshop on Hybrid Systems: Computation and Control, 2006, pp. 333-347.
20. _, "Managing non-determinism in symbolic robot motion planning and control," Boston University, Tech. Rep., 2006, http//iasi.bu.edu/~techrep/ LTL-nondet.pdf.
21. A. Pnueli and R. Rosner, "On me synthesis of a reactive module," in Proceedings of the 16th ACM Symposium on Principles of Programming Languages, 1989, pp. 179-190.
22. R. Alur and S. L. Torre, "Deterministic generators and games for LTL fragments," in 16th IEEE Symposium on Logic in Computer Science, LICS'01, 2001, pp. 291-300.