Abstract
The problem of supervisory controller synthesis is considered for a class of continuous-time hybrid systems (plants) in which the continuous-state dynamics are selected by a discrete-valued input signal, and output events are generated when the continuous output signal encounters specified thresholds. A discrete-state supervisor controls the hybrid plant by switching the discrete input when threshold events are observed. The objective is to synthesize a nonblocking supervisor (in the ω-language sense) such that the sequential behavior of the closed-loop system is contained within a specified set of admissible behaviors. This problem can be converted into a supervisor synthesis problem for a controDed discrete event system (DES) and solutions may be obtained by constructing finite-state generators that accept outer approximations to the exact DES model of the hybrid plant This paper presents the construction procedure for the approximating automata and a demonstration that increasing the order of the construction computations by appropriate amounts leads to refinements of the outer approximations.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
Krogh, B.H., Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems, Proc. 1993 Symposium on Intelligent Control, pp. 180–185, Aug 1993.
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.
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.
Thistle, J.G., Control of Infinite Behavior of Discrete-Event Systems, PhD. Thesis, University of Toronto, Systems Control Group Report No. 9012, January 1991
Thistle, J.G. and W.M. Wonham, Supervision of infinite behavior of discrete-event systems, SIAM J. Contr. and Opt., Vol. 32, no. 4, July 1994, pp. 1098–1113.
Thistle, J.G., On control of systems modelled as deterministic Rabin automata, Discrete Event Dynamic Systems: Theory and Applications, 1995, pp. 357–381.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niinomi, T., Krogh, B.H., Cury, J.E.R. (1996). Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020969
Download citation
DOI: https://doi.org/10.1007/BFb0020969
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive