Receding horizon temporal logic planning for dynamical systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 5997-6004

  Wongpiromsarn, Tichakorn ^a   Topcu, Ufuk ^a   Murray, Richard M ^a  

^a California Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BRIDGES; COMPUTER CIRCUITS; DYNAMICAL SYSTEMS; TEMPORAL LOGIC;

AUTOMATIC SYNTHESIS; COMPLEX DYNAMICAL SYSTEMS; CONTINUOUS CONTROLLER; CONTROL STRATEGIES; DISCRETE DOMAINS; EXPRESSIVE POWER; SAFETY AND STABILITIES; SYNTHESIS PROBLEMS;

COMPUTER CONTROL SYSTEMS;

EID: 77950813099     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5399536     Document Type: Conference Paper

References (22)

1. N. Piterman, A. Pnueli, and Y. Sa'ar, "Synthesis of reactive(1) designs," in Verification, Model Checking and Abstract Interpretation, vol.3855 of Lecture Notes in Computer Science, pp. 364 - 380, Springer-Verlag, 2006. Software available at http://www.wisdom.weizmann.ac.il/~saar/synthesis/.
2. R. M. Murray, J. Hauser, A. Jadbabaie, M. B. Milam, N. Petit, W. B. Dunbar, and R. Franz, "Online control customization via optimization-based control," in Software-Enabled Control: Information Technology for Dynamical Systems, pp. 149-174, Wiley-Interscience, 2003.
3. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos, "The explicit linear quadratic regulator for constrained systems," Automatica, vol.38, no.1, pp. 3-20, 2002.
4. M. Kvasnica, P. Grieder, and M. Baotić, "Multi-Parametric Toolbox (MPT)," 2004. Available at http://control.ee.ethz.ch/~mpt/.
5. A. J. der Schaft and J. M. Schumacher, Introduction to Hybrid Dynamical Systems. London, UK: Springer-Verlag, 1999.
6. J. Hespanha, "Stabilization through hybrid control," in Encyclopedia of Life Support Systems (EOLSS), vol.Control Systems, Robotics, and Automation, 2004.
7. Y. Kwon and G. Agha, "LTLC: Linear temporal logic for control," in HSCC '08: Proceedings of the 11th international workshop on Hybrid Systems, (Berlin, Heidelberg), pp. 316-329, Springer-Verlag, 2008.
8. S. Karaman, R. G. Sanfelice, and E. Frazzoli, "Optimal control of mixed logical dynamical systems with linear temporal logic specifications," Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, pp. 2117-2122, Dec. 2008.
9. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," in Proceedings of the IEEE, pp. 971-984, 2000.
10. H. Kress-Gazit, G. Fainekos, and G. Pappas, "Where's waldo? sensor-based temporal logic motion planning," Robotics and Automation, 2007 IEEE International Conference on, pp. 3116-3121, April 2007.
11. D. Conner, H. Kress-Gazit, H. Choset, A. Rizzi, and G. Pappas, "Valet parking without a valet," Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on, pp. 572-577, 2007.
12. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Transaction on Automatic Control, vol.53, no.1, pp. 287-297, 2008.
13. P. Tabuada and G. J. Pappas, "Linear time logic control of linear systems," IEEE Transaction on Automatic Control, vol.51, no.12, pp. 1862-1877, 2006.
14. A. Girard and G. J. Pappas, "Brief paper: Hierarchical control system design using approximate simulation," Automatica, vol.45, no.2, pp. 566-571, 2009.
15. A. Girard, A. A. Julius, and G. J. Pappas, "Approximate simulation relations for hybrid systems," Discrete Event Dynamic Systems, vol.18, no.2, pp. 163-179, 2008.
16. A. Pnueli, "The temporal logic of programs," in Proceedings of the 18th Annual Symposium on the Foundations of Computer Science, pp. 46-57, IEEE, 1977.
17. Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992.
18. D. Peled and T. Wilke, "Stutter-invariant temporal properties are expressible without the next-time operator," Inf. Process. Lett., vol.63, no.5, pp. 243-246, 1997.
19. H. Tanner and G. J. Pappas, "Simulation relations for discrete-time linear systems," in Proceedings of the 15th IFAC World Congress on Automatic Control, pp. 1302-1307, 2002.
20. S. Prajna, Optimization-based methods for nonlinear and hybrid systems verification. PhD thesis, California Institute of Technology, 2005.
21. F. Borrelli, Constrained Optimal Control of Linear and Hybrid Systems, vol.290 of Lecture Notes in Control and Information Sciences. Springer, 2003.
22. T. Kalmr-Nagy, R. D'Andrea, and P. Ganguly, "Near-optimal dynamic trajectory generation and control of an omnidirectional vehicle," Robotics and Autonomous Systems, vol.46, no.1, pp. 47 - 64, 2004.