Temporal logic motion planning for dynamic robots

Automatica

Volumn 45, Issue 2, 2009, Pages 343-352

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Hierarchical control; Hybrid systems; Motion planning; Robustness; Temporal logic

Indexed keywords

AUTOMATA THEORY; CONTROL SYSTEMS; CONTROL THEORY; ELECTRIC GROUNDING; HIERARCHICAL SYSTEMS; HYBRID COMPUTERS; HYBRID SYSTEMS; KINEMATICS; MOTION PLANNING; NAVIGATION; PROGRAMMING THEORY; ROBOTICS; ROBOTS; ROBUSTNESS (CONTROL SYSTEMS); SPECIFICATIONS;

CONTROL LAWS; CONTROL SPECIFICATIONS; HIERARCHICAL CONTROL; LOGIC PATH; LOGIC SPECIFICATIONS; OBSTACLE AVOIDANCE (OA); REACH ABILITY; ROBUSTNESS; SECOND ORDERS; TEMPORAL LOGIC SPECIFICATIONS; USER SPECIFICATION; VECTOR FIELDS;

TEMPORAL LOGIC;

EID: 58749097923     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2008.08.008     Document Type: Article

References (32)

1. Antoniotti M., and Mishra B. Discrete event models+temporal logic=supervisory con troller: Automatic synthesis of locomotion controllers. Proceedings of the IEEE international conference on robotics and automation (1995) 1441-1446
2. Barringer H., Kuiper R., and Pnueli A. A really abstract concurrent model and its temporal logic. POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on principles of programming languages (1986), ACM Press, New York, NY, USA 173-183
3. Belta C., Isler V., and Pappas G.J. Discrete abstractions for robot motion planning and control. IEEE Transactions on Robotics 21 5 (2005) 864-874
4. Choset H., Lynch K.M., Hutchinson S., Kantor G., Burgard W., and Kavraki L.E. Principles of Robot motion: Theory. Algorithms and implementations (2005), MIT Press
5. Clarke E.M., Grumberg O., and Peled D.A. Model checking (1999), MIT Press, Cambridge, MA
6. Conner, D.C., Rizzi, A., & Choset, H. (2003). Composition of local potential functions for global robot control and navigation. In Proceedings of 2003 IEEE/RSJ international conference on intelligent robots and systems (pp. 3546-3551)
7. Conner, D. C., Choset, H., & Rizzi, A. (2006). Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies. In Proceedings of robotics: Science and systems II
8. Cormen T.H., Leiserson C.E., Rivest R.L., and Stein C. Introduction to algorithms. second ed. (2001), MIT Press/McGraw-Hill
9. De Giacomo G., and Vardi M.Y. Automata-theoretic approach to planning for temporally extended goals. European conference on planning. LNCS Vol. 1809 (1999), Springer 226-238
10. Fainekos, G.E. (2008). Robustness of temporal logic specifications. Ph.D. thesis. Department of Computer and Information Science, University of Pennsylvania
11. Fainekos G.E., Girard A., and Pappas G.J. Hierarchical synthesis of hybrid controllers from temporal logic specifications. Hybrid systems: Computation and control. LNCS Vol. 4416 (2007), Springer 203-216
12. Fainekos, G.E., Kress-Gazit, H., & Pappas, G.J. (2005). Hybrid controllers for path planning: A temporal logic approach. In Proceedings of the 44th IEEE conference on decision and control (pp. 4885-4890)
13. Fainekos, G.E., Loizou, S.G., & Pappas, G.J. (2006). Translating temporal logic to controller specifications. In Proceedings of the 45th IEEE conference on decision and control (pp. 899-904)
14. Frazzoli, E. (2001). Robust hybrid control for autonomous vehicle motion planning. Ph.D. thesis. Massachusetts Institute of Technology
15. Fritz C. Constructing Büchi automata from LTL using simulation relations for alternating Büchi automata. The 8th international conference on implementation and application of automata. LNCS Vol. 2759 (2003) 35-48
16. Girard, A., & Pappas, G.J. (2006). Hierarchical control using approximate simulation relations. In Proceedings of the 45th IEEE conference on decision and control
17. Girard A., and Pappas G.J. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 52 5 (2007) 782-798
18. Habets L.C.G.J.M., and van Schuppen J.H. A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40 (2004) 21-35
19. Hristu-Varsakelis, D., Egerstedt, M., & Krishnaprasad, P.S. (2003). On the complexity of the motion description language MDLe. In Proceedings of the 42nd IEEE conference on decision and control (pp. 3360-3365)
20. Klavins E. Automatic compilation of concurrent hybrid factories from product assembly specifications. Hybrid systems: Computation and control. LNCS Vol. 1790 (2000), Springer 174-187
21. Kloetzer M., and Belta C. A fully automated framework for control of linear systems from LTL specifications. Proceedings of hybrid systems: Computation and control. LNCS Vol. 3927 (2006), Springer 333-347
22. Koutsoukos X.D., Antsaklis P.J., Stiver J.A., and Lemmon M.D. Supervisory control of hybrid systems. Proceedings of the IEEE 88 7 (2000) 1026-1049
23. Kress-Gazit, H., Fainekos, G.E., & Pappas, G.J. (2007). From structured English to robot motion. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (pp. 2717-2722)
24. LaValle S.M. Planning algorithms (2006), Cambridge University Press
25. Lindemann, S.R., & LaValle, S.M. (2005). Smoothly blending vector fields for global robot navigation. In Proceedings of the 44th IEEE conference on decision and control (pp. 3553-3559)
26. Lygeros J., Johansson K.H., Simic S.N., Zhang J., and Sastry S. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48 (2003) 2-17
27. Moor T., and Davoren J.M. Robust controller synthesis for hybrid systems using modal logic. Proceedings of hybrid systems: Computation and control. LNCS Vol. 2034 (2001), Springer 433-446
28. Narkhede A., and Manocha D. Fast polygon triangulation based on seidel's algorithm. In: Paeth A.W. (Ed). Graphics Gems V (1995), Academic Press 394-397 (Chapter VII.5)
29. Pancanti, S., Pallottino, L., Salvadorini, D., & Bicchi, A. (2004). Motion planning through symbols and lattices. In Proceedings of the international conference on robotics and automation (pp. 3914-3919)
30. Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th IEEE symposium foundations of computer science (pp. 46-57)
31. Reynolds M. Continuous temporal models. 14th Australian joint conference on artificial intelligence. LNCS Vol. 2256 (2001), Springer 414-425
32. Tabuada P., and Pappas G.J. Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control 51 12 (2006) 1862-1877