Discrete dynamic feedback for a class of hybrid systems on a lattice

Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD

Volumn , Issue , 2007, Pages 1556-1561

  Del Vecchio, Domitilla ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE VARIABLE SPACE; HYBRID SYSTEMS;

COMPUTATIONAL METHODS; CONTROL EQUIPMENT; FEEDBACK CONTROL; GAME THEORY; ROBOTICS;

DYNAMICAL SYSTEMS;

EID: 43049179609     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.2006.285490     Document Type: Conference Paper

References (13)

1. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller design for discrete and timed systems. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 999, P. Antsakilis, W. Kohn, A. Nerode, and S. Sastry, Eds. Springer Verlag, pages 1-20, 1995.
2. J. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube. Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control, 47(1):2-20, 2002.
3. B. A. Davey and H. A. Priesteley. Introduction to Lattices and Order. Cambridge University Press, 2002.
4. D. DelVecchio, R. M. Murray, and E. Klavins. Discrete state estimators for systems on a lattice. Automatica, 42(2):271-285, 2006.
5. P. E.Caines and S. Wang. Classical and logic based regulator design and its complexity for partially observed automata. In Conf. on Decision and Control, pages 132-137, 1989.
6. T. A. Henzinger, P. H. Ho, and H. Wong-Toi. A user guide to HYTECH. In TACAS 95: Tools and Algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, vol. 1019, E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, Eds. Springer-Verlag, pages 41-71, 1995.
7. E. Klavins and R. M. Murray. Distributed algorithms for cooperative control. Pervasive Computing, 3:56-65, 2004.
8. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81-98, 1989.
9. K. Rohloff and S. Lafortune. On the synthesis of safe control policies in decentralized control of discrete event systems. IEEE Transactions on Automatic Control, 48(6): 1064-1068, 2003.
10. E. D. Sontag. Mathematical Control Theory. Springer, 1998.
11. W. Thomas. On the synthesis of strategies in infinite games. In Proceedings of the STACS 95, E. W. Mayr and C. Puech, Eds. Springer Verlag, pages 1-13, 1995.
12. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE, 91(7):986-1001, 2003.
13. H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Conf. on Decision and Control, pages 4607-4613, 1997.