Supervisory control of differentially flat systems based on abstraction

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 6134-6139

  Colombo, Alessandro ^a   Del Vecchio, Domitilla ^a  

^a Massachusetts Institute of Technology Cambridge   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DIFFERENTIAL EQUATIONS; FLEET OPERATIONS; STABILITY;

DIFFERENTIALLY FLAT SYSTEM; FLEET OF VEHICLES; PHYSICAL MODEL; SAFETY RULES; STABILITY PROPERTIES; SUPERVISORY CONTROL; SYMBOLIC MODEL;

SAFETY FACTOR;

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

References (13)

1. P. J. Ramdage and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Opt., vol. 25, pp. 206-230, 1987.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Springer-Verlag, 2008.
3. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Trans. Autom. Control, vol. 53, pp. 1406-1418, 2008.
4. -, Verification and control of hybrid systems. Springer-Verlag, 2009.
5. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE Trans. Autom. Control, vol. 55, pp. 116-126, 2010.
6. M. Zamani, G. Pola, M. Mazo Jr., and P. Tabuada, "Symbolic models for nonlinear control systems without stability assumptions," arXiv:1002.0822v3, 2010.
7. M. Broucke, M. D. Di Benedetto, S. Di Gennaro, and A. Sangiovani-Vincentelli, "Efficient solution of optimal control problems using hybrid systems," SIAM J. Contr. Opt., vol. 43, pp. 1923-1952, 2005.
8. R. Alur, T. Dang, and F. Ivancic, "Predicate abstraction for reachability analysis of hybrid systems," ACM Trans. on Embedded Computing Systems, vol. 5, pp. 152-199, 2006.
9. M. Fliess, J. Lévine, P. Martin, and P. Rouchon, "Flatness and defect of non-linear systems: Introductory theory and examples," Int. J. Control, vol. 6, pp. 1327-1361, 1995.
10. M. van Nieuwstadt, M. Rathinam, and R. M. Murray, "Differential flatness and absolute equivalence of nonlinear control systems," SIAM J. Contr. Opt., vol. 36, pp. 1225-1239, 1998.
11. J. Lévine, Analysis and control of nonlinear systems: A flatness-based approach. Springer, 2009.
12. P. Tabuada, "Flatness and finite bisimulations in discrete time," in Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004.
13. J. C. Latombe, Robot motion planning. Kluwer Academic Publishers, 1991.