A separation principle for a class of hybrid automata on a partial order

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 3638-3643

  Del Vecchio, Domitilla ^a   Verma, Rajeev ^a   Malisoff, Michael ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b LOUISIANA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS VARIABLES; DYNAMIC FEEDBACK; HYBRID AUTOMATONS; ORDER PRESERVING; PARALLEL COMPOSITION; PARTIAL ORDER; SAFETY SPECIFICATIONS; SEPARATION PRINCIPLE; STATE INFORMATION;

TRANSLATION (LANGUAGES);

EID: 68949181638     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5160025     Document Type: Conference Paper

References (13)

1. A. Alessandri and P. Coletta. Design of Luenberger observer for a class of hybrid linear systems. In Hybrid Systems: Computation and Control, pages 7?18. Springer Berlin, Heidelberg, Germany, 2001.
2. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, pages 1?20. Springer Berlin, Heidelberg, Germany, 1995.
3. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni- Vincentelli. Design of observers for hybrid systems. In Hybrid Systems: Computation and Control, pages 76?89. Springer Berlin, Heidelberg, Germany, 2002.
4. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 2002.
5. E. De Santis, M. D. Di Benedetto, and G. Pola. On observability and detectability of continuous-time linear switching systems. In Proc. IEEE Conf. Decision Control, pages 5777?5782. 2003.
6. M. De Wulf, L. Doyen, and J.-F. Raskin. A lattice theory for solving games of imperfect information. In Hybrid Systems: Computation and Control, pages 153?168. Springer Berlin, Heidelberg, Germany, 2006.
7. D. Del Vecchio. Observer-based control for block-triangular hybrid automata. In Proc. IEEE Conf. Decision Control, pages 1782?1788. 2007.
8. D. Del Vecchio. A partial order approach to discrete dynamic feedback in a class of hybrid systems. In Hybrid Systems: Computation and Control, pages 159?173. Springer Berlin, Heidelberg, Germany, 2007.
9. D. Del Vecchio, R. M. Murray, and E. Klavins. Discrete state estimators for systems on a lattice. Automatica, 42(2):271?285, 2006.
10. O. Shakernia, G. J. Pappas, and S. Sastry. Semi-decidable synthesis for triangular hybrid systems. In Hybrid Systems: Computation and Control, pages 487?500. Springer Berlin, Heidelberg, Germany, 2001.
11. H. L. Smith. Monotone Dynamical Systems. American Mathematical Society, Providence, RI, 1995.
12. C. J. Tomlin, J. Lygeros, and S. Sastry. A game theoretic approachto controller design for hybrid systems. Proceedings of the IEEE, 88(7):949?970, 2000.
13. R. Verma, D. Del Vecchio, and H. Fathy. Development of a scaled vehicle with longitudinal dynamics of a HMMWV for an ITS testbed. IEEE/ASME Transactions on Mechatronics, 13:46?57, February 2008.