Receding horizon temporal logic planning

IEEE Transactions on Automatic Control

Volumn 57, Issue 11, 2012, Pages 2817-2830

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

^a SINGAPORE MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY   (Singapore)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Autonomous systems; control architecture; linear temporal logic (LTL); receding horizon control

Indexed keywords

ACTUAL SYSTEM; AUTOMATIC SYNTHESIS; AUTONOMOUS SYSTEMS; AUTONOMOUS VEHICLES; CONTINUOUS CONTROLLER; CONTROL ARCHITECTURE; CONTROL STRUCTURE; EMBEDDED CONTROL SOFTWARE; EXOGENOUS DISTURBANCES; INITIAL STATE; LINEAR TEMPORAL LOGIC; LINEAR TEMPORAL LOGIC SPECIFICATIONS; RECEDING HORIZON; RECEDING HORIZON CONTROL; RECEDING-HORIZON FRAMEWORKS; RESPONSE MECHANISMS; SYNTHESIS PROBLEMS; SYSTEM LEVELS; SYSTEM SPECIFICATION; TEMPORAL PROPERTY; TRAJECTORY GENERATION; URBAN ENVIRONMENTS;

ITERATIVE METHODS; NONLINEAR CONTROL SYSTEMS; SPECIFICATIONS; TEMPORAL LOGIC;

TRAJECTORIES;

EID: 84869191958     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2012.2195811     Document Type: Article

References (35)

1. J. W. Burdick, N. DuToit, A. Howard, C. Looman, J. Ma, R. M. Murray, and T. Wongpiromsarn, "Sensing, Navigation and Reasoning Tech nologies for the DARPA Urban Challenge," DARPA Urban Challenge Final Rep., 2007.
2. N. E. DuToit, T. Wongpiromsarn, J. W. Burdick, and R. M. Murray, "Situational reasoning for road driving in an urban environment," in Proc. Int. Workshop Intell. Veh. Control Syst., 2008, pp. 30-39.
3. T. Wongpiromsarn and R. M. Murray, "Distributed mission and contingency management for the DARPA urban challenge," in Proc. Int. Workshop Intell. Veh. Control Syst., 2008, pp. 19-29.
4. T. Wongpiromsarn, S. Mitra, R. M. Murray, and A. Lamperski, Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer, 2009, vol. 5469, ch. 28, pp. 396-410.
5. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Berlin, Germany: Springer-Verlag, 1992.
6. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed. Cambridge, U.K.: Cambridge Univ. Press, 2004.
7. E. A. Emerson, "Temporal and modal logic," in Handbook of theoretical computer science (vol. B): formal models and semantics. Cambridge, MA: MIT Press, 1990, pp. 995-1072.
8. S. Karaman and E. Frazzoli, "Sampling-based motion planning with deterministic -calculus specifications," in Proc. IEEE Conf. Decision Control, 2009, pp. 2222-2229.
9. H. Kress-Gazit, G. Fainekos, and G. Pappas, "Where's waldo? sensor-based temporal logic motion planning," in Proc. IEEE Int. Conf. Robot. Autom., Apr. 2007, pp. 3116-3121. (Pubitemid 350140658)
10. D. Conner, H. Kress-Gazit, H. Choset, A. Rizzi, and G. Pappas, "Valet parking without a valet," in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst., 2007, pp. 572-577.
11. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Trans. Autom. Control, vol. 53, no. 1, pp. 287-297, Feb. 2008.
12. P. Tabuada and G. J. Pappas, "Linear time logic control of discrete-time linear systems," IEEE Trans. Autom. Control, vol. 51, no. 12, pp. 1862-1877, Dec. 2006. (Pubitemid 46002281)
13. A. Girard and G. J. Pappas, "Hierarchical control system design using approximate simulation," Automatica, vol. 45, no. 2, pp. 566-571, Feb. 2009.
14. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon temporal logic planning for dynamical systems," in Proc. IEEE Conf. Decision Control, 2009, pp. 5997-6004.
15. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Automatic synthesis of robust embedded control software," in Proc. AAAI Spring Symp. Embedded Reasoning: Intell. Embedded Syst., 2010, pp. 104-111.
16. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon control for temporal logic specifications," in Proc. 13th Int. Conf. Hybrid Syst.: Computat. Control, 2010, pp. 101-110.
17. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, Jul. 2000.
18. A. Girard, A. A. Julius, and G. J. Pappas, "Approximate simulation relations for hybrid systems," Discrete Event Dyn. Syst., vol. 18, no. 2, pp. 163-179, Jun. 2008. (Pubitemid 351642165)
19. N. Piterman, A. Pnueli, and Y. Sa'ar, Synthesis of Reactive(1) Designs, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer, 2005, vol. 3855, ch. 24, pp. 364-380.
20. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM J. Control Optim., vol. 48, no. 2, pp. 719-733, 2009.
21. D. Limon, T. Alamo, and E. Camacho, "Enlarging the domain of attraction of MPC controllers," Automatica, vol. 41, no. 4, pp. 629-635, Apr. 2005. (Pubitemid 40266209)
22. D. Mayne, J. Rawlings, C. Rao, and P. Scokaert, "Constrained model predictive control: Stability and optimality," Automatica, vol. 36, pp. 789-814, 2000. (Pubitemid 30587683)
23. H. Tanner and G. J. Pappas, "Simulation relations for discrete-time linear systems," in Proc. IFAC World Congress Autom. Control, 2002, pp. 1302-1307.
24. M. Kvasnica, P. Grieder, and M. Baotic, "Multi-Parametric Toolbox (MPT)," 2004 [Online]. Available: http://control.ee.ethz.ch/~mpt
25. J. Löfberg, "YALMIP: A toolbox for modeling and optimization in MATLAB," in Proc. CACSD Conf., Taipei, Taiwan, 2004 [Online]. Available: http://control.ee.ethz.ch/~joloef/yalmip.php
26. 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. New York: Wiley-Interscience, 2002, pp. 149-174.
27. F. Borrelli, Constrained Optimal Control of Linear and Hybrid Systems, ser. Lecture Notes in Control and Information Sciences. Berlin, Germany: Springer-Verlag, 2003, vol. 290.
28. D. Peled and T. Wilke, "Stutter-invariant temporal properties are expressible without the next-time operator," Inform. Processing Lett., vol. 63, no. 5, pp. 243-246, Sep. 1997. (Pubitemid 127403904)
29. A. Jadbabaie, "Nonlinear receding horizon control: A control Lyapunov function approach," Ph.D. dissertation, California Inst. Technol., Pasadena, 2000.
30. G. C. Goodwin, M. M. Seron, and J. A. D. Doná, Constrained Control and Estimation: An Optimisation Approach. New York: Springer, 2004.
31. T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, "TuLip: A software toolbox for receding horizon temporal logic planning," in Proc. Int. Conf. Hybrid Syst.: Computat. Control, 2011, pp. 313-314.
32. S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Englewood Cliffs, NJ: Prentice-Hall, 2003.
33. H. Kress-Gazit and G. J. Pappas, "Automatically synthesizing a planning and control subsystem for the DARPA urban challenge," in Proc. IEEE Int. Conf. Autom. Sci. Eng., 2008, pp. 766-771.
34. T. Wongpiromsarn, "Formal Methods for Embedded Control Systems: Application to an Autonomous Vehicle," Ph.D. dissertation, California Inst. Technol., Pasadena, 2010.
35. M. B. Milam, K. Mushambi, and R. M. Murray, "A new computational approach to real-time trajectory generation for constrained mechanical systems," in Proc. IEEE Conf. Decision Control, 2000, pp. 845-851. (Pubitemid 32528834)