Hybrid controllers for path planning: A temporal logic approach

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 4885-4890

  Fainekos, Georgios E ^a   Kress Gazit, Hadas ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; INVERSE KINEMATICS; LOGIC PROGRAMMING; MOTION PLANNING; ROBOTICS;

HYBRID CONTROLLERS; LINEAR TEMPORAL LOGIC; LOGIC APPROACH; LOW-LEVEL REACHABILITY; ROBOT MOTION;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 33847223790     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582935     Document Type: Conference Paper

References (21)

1. H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L. E. Kavraki, and S. Thrun, Principles of Robot Motion: Theory, Algorithms anJ Implementations. MIT Press, March 2005.
2. S. M. LaValle, Planning Algorithms, 2005. [Online]. Available: http://msl.cs.uiuc.edu/planning/
3. A. Richards and J. P. How, "Aircraft trajectory planning with collision avoidance using mixed integer linear programming," in Proceedings of the 2002 IEEE American Control Conference, May 2002, pp. 1936-1941.
4. F. Giunchiglia and P. Traverso, "Planning as model checking," in Proceedings of the 5th European Conference on Planning, LNCS, vol. 1809, 1999, pp. 1-20.
5. G. D. Giacomo and M. Y. Vardi, "Automata-theoretic approach to planning for temporally extended goals," in Proceedings of the 5th European Conference on Planning, LNCS, vol. 1809, 1999, pp. 226-238.
6. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, Massachusetts: MIT Press, 1999.
7. M. Antoniotti and B. Mishra, "Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers," in Proceedings of the 1995 IEEE International Conference on Robotics and Automation, May 1995.
8. S. O. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on ltl specifications," in Proceedings of the 43rd IEEE Conference on Decision and Control, Dec. 2004.
9. M. M. Quottrup, T. Bak, and R. Izadi-Zamanabadi, "Multi-robot planning: A timed automata approach," in Proceedings of the 2004 IEEE International Conference on Robotics and Automation, New Orleasn, LA, April 2004, pp. 4417-4422.
10. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for mobile robots," in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, April 2005.
11. P. Tabuada and G. J. Pappas, "From discrete specifications to hybrid control," in Proceedings of the 42nd IEEE Conference on Decision and Control, December 2003.
12. E. Frazzoli, "Robust hybrid control for autonomous vehicle motion planning," Ph.D. dissertation, Massachusetts Institute of Technology, May 2001.
13. D. Hristu-Varsakelis, M. Egerstedt, and P. S. Krishnaprasad, "On the complexity of the motion description language mdle," in Proceedings of the 42nd IEEE Conference on Decision and Control, December 2003, pp. 3360-3365.
14. E. Klavins, "A language for modeling and programming cooperative control systems," in Proceedings of the International Conference on Robotics and Automation, New Orleasn, LA, April 2004.
15. S. Pancanti, L. Pallottino, D. Salvadorini, and A. Bicchi, "Motion planning through symbols and lattices," in Proceedings of the International Conference on Robotics and Automation, New Orleasn, LA, April 2004, pp. 3914-3919.
16. M. de Berg, O. Schwarzkopf, M. van Kreveld, and M. Overmars, Computational Geometry: Algorithms and Applications, 2nd ed. Springer-Verlag, 2000.
17. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot motion planning and control," IEEE Transactions on Robotics, Accepted for publication.
18. D. C. Conner, A. Rizzi, and H. Choset, "Construction and automated deployment of local potential functions for global robot control and navigation," Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU-RI-TR-03-22, November 2003.
19. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proceedings of the IEEE, vol. 88, no. 2, pp. 971-984, 2000.
20. G. Holzmann, The Spin Model Checker, Primer and Reference Manual. Reading, Massachusetts: Addison-Wesley, 2004.
21. F. Bacchus and F. Kabanza, "Using temporal logics to express search control knowledge for planning," Artif. Intell., vol. 116, 2000.