Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems

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

Volumn 1066, Issue , 1996, Pages 475-484

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

^a MITSUBISHI HEAVY INDUSTRIES LTD   (Japan)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLOSED LOOP SYSTEMS; CONTROLLERS; DISCRETE EVENT SIMULATION; HYBRID SYSTEMS; SUPERVISORY PERSONNEL;

CONSTRUCTION PROCEDURES; CONTINUOUS STATE; DISCRETE-VALUED INPUT; NONBLOCKING SUPERVISORS; OUTER APPROXIMATION; SUPERVISOR CONTROL; SUPERVISOR SYNTHESIS PROBLEMS; SUPERVISORY CONTROLLERS;

CONTINUOUS TIME SYSTEMS;

EID: 84958056731     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020969     Document Type: Conference Paper

References (8)

1. Cury, J.E.R., B.H. Krogh, and T. Niinomi, Synthesis of supervisory controllers for hybrid systems based on approximating automata, submitted to IEEE Trans. on Automatic Control; a preliminary version of this paper appeared in Proc. 34th IEEE Conf. on Decision and Control, pp. 1461-1466, Dec. 1995.
2. Golaszewski, C.H. and P.J. Ramadge, Supervisory control of discrete event processes with arbitrary controls, in Advanced Computing Concepts and Techniques in Control Engineering, M J. Denham and A.J. Laub, Eds., Springer, 1988; see also, Control of discrete event systems with forced events, Proc. 26th Conference on Decision and Control, pp. 247-257, 1987.
3. Krogh, B.H., Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems, Proc. 1993 Symposium on Intelligent Control, pp. ISO-185, Aug 1993.
4. Niinomi, T., and B. H. Krogh, Modeling and analysis of switched-mode hybrid systems driven by threshold events, in Advances in Control Systems, Lecture Notes in Control and Information Sciences, H. Khalil and J. Chow, Eds., Springer, 1995.
5. Sreenivas, R.S. and B.H. Krogh, On condition/event systems with discrete state realizations, Discrete Event Dynamic Systems: Theory and Applications, 1991, pp. 209-236.
6. Thistle, J.G., Control of Infinite Behavior of Discrete-Event Systems, Ph.D. Thesis, University of Toronto, Systems Control Group Report № 9012, January 1991
7. Thistle, J.G. and W.M. Wonham, Supervision of infinite behavior of discrete-event systems, SIAMJ. Contr. and Opt., Vol. 32, no. 4, July 1994, pp. 1098-1113.
8. Thistle, J.G., On control of systems modelled as deterministic Rabin automata, Discrete Event Dynamic Systems: Theory and Applications, 1995, pp. 357-381.