Supervision of event-driven hybrid systems: Modeling and synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2034, Issue , 2001, Pages 247-260

  Gonzàlez, Josè M E ^a   da Cunha, Antonio E C ^a   Cury, Josè E R ^a   Krogh, Bruce H ^b  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP SYSTEMS; COMPUTATION THEORY; DISCRETE EVENT SIMULATION; SUPERVISORY PERSONNEL;

COMPUTATIONAL APPROACH; CONTINUOUS DYNAMICS; CONTINUOUS STATE SPACE; DISCRETE STATE; EVENT-DRIVEN; SUPERVISORY CONTROL; THRESHOLD-CROSSING;

HYBRID SYSTEMS;

EID: 84944198258     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_22     Document Type: Conference Paper

References (9)

1. Josè E. R. Cury, Bruce H. Krogh, and Toshihiko Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, 43(4):564-568, April 1998.
2. T. Moor, J. Raisch, and S. D. O'Young. Supervisory control of hybrid systems via l-complete approximations. In WODES'98- International Workshop on Discrete Event Systems, pages 426-431, 1998.
3. J. Raisch and S. D. O'Young. Discrete approximation and supervisory control of continuous systems. IEEE Trans. on Automatic Control, 43(4):569-573, April 1998.
4. X.D. Koutsoukos, P.J. Antsaklis, J.A. Stiver, and M.D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88(7):1026-1049, July 2000.
5. R. S. Sreenivas and B. H. Krogh. On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 1:209-236, 1991.
6. Jose Miguel, Eyzell Gonzàlez. Aspectos de Sìntese de Supervisores para Sistemas a Eventos Discretos e Sistemas Hibridos. Tese (doutorado), Programa de Pòs Graduacao em Engenharia Elètrica, Universidade Federal de Santa Catarina, Florianopolis, Brasil, Abril 2000.
7. A. Chutinan and B.H. Krogh. Infinite-state transition system verification using approximate quotient transition systems. To appear IEEE Transactions on Automatic Control., 2000.
8. J. E. R. Cury and B. H. Krogh. Synthesizing supervisory controllers for hybrid systems. Journal of the Society of Instrument and Control Engineers, 38(3):161-168, March 1999.
9. D. Raymond and W. Derick. Grail: A c++ library for automata and expressions. Journal of Symbolic Computation, 11, 1995