Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 3175-3181

  Verma, Rajeev ^a   Del Vecchio, Domitilla ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE SAFETY SYSTEMS; AUTOMATA THEORY; ROBOTS; SAFETY ENGINEERING; STATE ESTIMATION;

CONTINUOUS CONTROL; CONTROL TECHNIQUES; DYNAMIC FEEDBACK; HYBRID AUTOMATONS; MODE INFORMATION; SAFETY CONTROLS; STATIC FEEDBACK; TERMINATION CONDITION;

FEEDBACK;

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

References (19)

1. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems: Computation and Control, volume 999, pages 1-20. Springer-Veralg, 1995.
2. J.-P. Aubin. Viability Theory. Birkhuser Boston, 1st edition, 1991.
3. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube. Impulse differential inclusions: a viability approach to hybridsystems. IEEE Trans. Automatic Control, 47(1):2-20, 2002.
4. A. Balluchi, L. Benvenuti, M. D. Di Benedetto S, and A. L. Sangiovanni-vincentelli. Design of observers for hybrid systems. In In Hybrid Systems: Computation and Control, volume 2289 of LNCS, pages 76-89. Springer-Verlag, 2002.
5. B. A. Davey and H. A. Priestley. Introduction to lattices and order. Cambridge University Press, 2nd edition, 2002.
6. D. Del Vecchio. Observer-based control of block-triangular discrete time hybrid automata on a partial order. International Journal of Robust and Nonlinear Control, 2008.
7. D. Del Vecchio and E. Klavins. Observation of guarded command programs. In Conference on Decision and Control, 2003.
8. D. Del Vecchio, M. Malisoff, and R. Verma. A separation principle for a class of hybrid automata on a partial order. In American Control Conference, 2009.
9. D. Del Vecchio, R. M. Murray, and E. Klavins. Discrete state estimators for systems on a lattice. Automatica, 42:271-285, 2006.
10. D. Del Vecchio, R. M. Murray, and P. Perona. Primitives for human motion: A dynamical approach. In IFAC World Congress, 2002.
11. M. Hafner and D. Del Vecchio. Computation of safety control for uncertain piecewise continuous systems on a partial order. In Conference on Decision and Control, 2009 (To Appear).
12. A.B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for hybrid dynamics: the rechability problem. In New Directions and Applications in Control Theory, volume 321, pages 193-205, 2005.
13. S. M. LaValle. Planning Algorithms. Cambridge University Press, 1st edition, 2006.
14. J. Lygeros, C. J. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
15. C.-E. Seah and I. Hwang. Terminal-area aircraft tracking by hybrid estimation. AIAA Journal of Guidance, Control and Dynamics, 32(3):836-849, 2009.
16. O. Shakernia, G. J. Pappas, and S. Sastry. Semi-decidable synthesis for triangular hybrid ststems. In Hybrid Systems: Computation and Control, volume 2034, pages 949-970. Springer Veralg, 2001.
17. U.S. DOT Joint Program Office ITS. http://www.its.dot.gov.
18. R. Verma, D. Del Vecchio, and H. K. Fathy. Development of a scaled vehicle with longitudinal dynamics of a HMMWV for an ITS testbed. IEEE/ASME Transactions on Mechatronics, 13(1):46-57, 2008.
19. M. D. Wulf, L. Doyen, and J. F. Raskin. A lattice theory for solving games of imperfect information. In Hybrid Systems: Computation and Control, volume 3927, pages 153-173. Springer-Veralg, 1984.