Synthesis of supervisory controllers for hybrid systems based on approximating automata

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 564-568

  Cury, José E R ^a   Krogh, Bruce H ^b   Niinomi, Toshihiko ^c  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c MITSUBISHI HEAVY INDUSTRIES LTD   (Japan)

Author keywords

Approximating automata; Discrete event systems; Hybrid systems; Supervisory control

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; AUTOMATION; CONTROL EQUIPMENT;

HYBRID SYSTEMS;

CONTROL SYSTEM SYNTHESIS;

EID: 0032049732     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664159     Document Type: Article

References (15)

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," Hybrid Systems, Lecture Notes in Computer Science, vol. 736, R. L. Grossman et al., Eds. New York: Springer Verlag, 1993, pp. 209-229.
2. R. Alur, T. A. Henzinger, and P.-H. Ho, "Automatic symbolic verification of embedded systems," IEEE Trans. Software Eng., vol. 22, pp. 181-201, Mar. 1996.
3. C. Chase, J. Serrano, and P. J. Ramadge, "Periodicity and chaos from switched flow systems," IEEE Trans. Automat. Contr., pp. 70-83, Jan. 1993.
4. J. E. R. Cury, B. H. Krogh, and T. Niinomi, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," Tech. Rep., Dept. Electrical and Computer Eng., Carnegie Mellon Univ., June 1966.
5. _, "A methodology for the design of supervisory controllers for a class of hybrid systems," in Proc. 11th Brazilian Congr. Automatic Control, Sao Paulo, Brazil, Sept. 1996.
6. C. H. Golaszewski and P. J. Ramadge, "Control of discrete event processes with forced events," in Proc. 26th Conf. Decision and Control, Dec. 1987, pp. 247-257.
7. B. H. Krogh, "Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems," in Proc. 1993 Symp. Intelligent Control, Aug. 1993, pp. 180-185.
8. T. Niinomi and B. H. Krogh, "Modeling and analysis of switched-mode hybrid systems driven by threshold events," Advances in Control Systems, Lecture Notes in Control and Information Sciences, H. Khalil and J. Chow, Eds. New York: Springer-Verlag, vol. 208, pp. 155-172, 1995;
9. a preliminary version of this paper appeared in Proc. 32nd Allerton Conf. Communication, Control, and Computing, Sept. 1994, pp. 890-899.
10. T. Niinomi, B. H. Krogh, and J. E. R. Cury, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," in Proc. 34th IEEE Conf. on Decision and Control, Dec. 1995, pp. 1461-1466.
11. _, "Refinementsof approximating automata for Synthesis of supervisory controllers for hybrid systems," in Hybrid Systems III, Lecture Notes in Computer Science, R. Alur, T. Henzenger, and E. Sontag, Eds. New York: Springer-Verlag, 1996, pp. 475-484.
12. _, "Computing exact automaton representations for a class of hybrid systems," in Proc. 35th IEEE Conf. on Decision and Control, Dec. 1996, pp. 144-147.
13. R. S. Sreenivas and B. H. Krogh, "On condition/event systems with discrete state realizations," J. Discrete Event Dynamic Syst., vol. 1, pp. 209-236, 1991.
14. J. G. Thistle, "Control of infinite behavior of discrete-event systems," Ph.D. dissertation, Univ. Toronto, Systems Control Group Rep. 9012, Jan. 1991.
15. J. G. Thistle and W. M. Wonham, "Supervision of infinite behavior of discrete-event systems," SIAM J. Contr. and Opt., vol. 32, no. 4, pp. 1098-1113, July 1994.