Reactive controllers for differentially flat systems with temporal logic constraints

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2012, Pages 7664-7670

  Liu, Jun ^a   Topcu, Ufuk ^b   Ozay, Necmiye ^b   Murray, Richard M ^b  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GAMES; CONTINUOUS TIME SYSTEMS; DIFFERENTIAL EQUATIONS; GAME THEORY; NONLINEAR EQUATIONS; SPECIFICATIONS; TEMPORAL LOGIC;

COMPUTATIONALLY EFFICIENT; DIFFERENTIALLY FLAT SYSTEM; DISCRETE TRANSITIONS; ENVIRONMENTAL SIGNALS; FINITE-STATE ABSTRACTION; FINITE-STATE MODELS; NONLINEAR DIFFERENTIAL EQUATION; TEMPORAL LOGIC SPECIFICATIONS;

COMPUTER CIRCUITS;

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

References (36)

1. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot motion planning and control in polygonal environments," IEEE Trans. Robotics, vol. 21, pp. 864-874, 2005.
2. G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for dynamic robots," Automatica, vol. 45, pp. 343-352, 2009.
3. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE TAC, vol. 53, pp. 287-297, 2008.
4. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, "Temporal- logicbased reactive mission and motion planning," IEEE Trans. Robotics, vol. 25, pp. 1370-1381, 2009.
5. H. Kress-Gazit, T. Wongpiromsarn, and U. Topcu, "Correct, reactive, high-level robot control," IEEE RAM, vol. 18, pp. 65-74, 2011.
6. P. Tabuada and G. J. Pappas, "Linear time logic control of discretetime linear systems," IEEE TAC, vol. 51, pp. 1862-1877, 2006.
7. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon temporal logic planning for dynamical systems," in Proc. of the IEEE CDC, 2009, pp. 5997-6004.
8. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV 2: An opensource tool for symbolic model checking," in Computer Aided Verification. Springer, 2002, pp. 241-268.
9. A. Pnueli, Y. Saar, and L. Zuck, "JTLV: A framework for developing verification algorithms," in Computer Aided Verification. Springer, 2010, pp. 171-174.
10. M. Fliess, J. Lévine, P. Martin, and P. Rouchon, "Flatness and defect of non-linear systems: introductory theory and examples," Internat. J. Control, vol. 61, pp. 1327-1361, 1995.
11. M. J. Van Nieuwstadt and R. M. Murray, "Real-time trajectory generation for differentially flat systems," Internat. J. Robust Nonlinear Control, vol. 8, pp. 995-1020, 1998.
12. A. Colombo and D. Del Vecchio, "Supervisory control of differentially flat systems based on abstraction," in Proc. of the IEEE CDC, 2011.
13. J. Lévine, Analysis and Control of Nonlinear Systems: A Flatnessbased Approach. Springer-Verlag, 2009.
14. M. Van Nieuwstadt, M. Rathinam, and R. M. Murray, "Differential flatness and absolute equivalence of nonlinear control systems," SIAM J. Control Optim., vol. 36, pp. 1225-1239, 1998.
15. A. Pnueli, "The temporal logic of programs," in Proc. of the FOCS, 1977, pp. 46-57.
16. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, 1992.
17. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 2000.
18. N. Piterman, A. Pnueli, and Y. Saar, "Synthesis of reactive (1) designs," in Proc. of the VMCAI, 2006, pp. 364-380.
19. R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Saar, "Synthesis of reactive (1) designs," J. Comput. System Sci., vol. 78, pp. 911-938, 2012.
20. N. Ozay, U. Topcu, and R. M. Murray, "Distributed power allocation for vehicle management systems," in Proc. of the IEEE CDC, 2011.
21. N. Ozay, U. Topcu, T. Wongpiromsarn, and R. M. Murray, "Distributed synthesis of control protocols for smart camera networks," in Proc. of the ACM/IEEE ICCPS, 2011.
22. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon temporal logic planning," IEEE TAC, to appear, 2012.
23. L. Habets, P. Collins, and J. H. van Schuppen, "Reachability and control synthesis for piecewise-affine hybrid systems on simplices," IEEE TAC, vol. 51, pp. 938-948, 2006.
24. B. Roszak and M. E. Broucke, "Necessary and sufficient conditions for reachability on a simplex," Automatica, vol. 42, pp. 1913-1918, 2006.
25. A. Girard and S. Martin, "Synthesis for constrained nonlinear systems using hybridization and robust controllers on simplices," IEEE TAC, vol. 57, pp. 1046-1051, 2012.
26. J. Liu, N. Ozay, U. Topcu, and R. M. Murray, "Switching protocol synthesis for temporal logic specifications," in Proc. of the ACC, 2012.
27. G. Reiszig, "Computing abstractions of nonlinear systems," IEEE TAC, vol. 56, pp. 2583-2598, 2011.
28. Y. Tazaki and J. Imura, "Discrete abstractions of nonlinear systems based on error propagation analysis," IEEE TAC, vol. 57, pp. 550-564, 2012.
29. R. Milner, Communication and Concurrency. Prentice-Hall, Inc., 1989.
30. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. of the IEEE, vol. 88, pp. 971-984, 2000.
31. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE TAC, vol. 52, pp. 782-798, 2007.
32. P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach. Springer-Verlag, 2009.
33. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE TAC, vol. 55, pp. 116-126, 2010.
34. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, pp. 2508-2516, 2008.
35. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM J. Control Optim., vol. 48, pp. 719-733, 2009.
36. M. Zamani, G. Pola, M. Mazo Jr, and P. Tabuada, "Symbolic models for nonlinear control systems without stability assumptions," IEEE TAC, vol. 57, pp. 1804-1809, 2012.