Abstract
This paper presents a formulation and solution of a supervisory control problem for a class of hybrid systems in which threshold-crossing events in the continuous state space force discrete-state transitions. The continuous dynamics are in turn determined by a discrete condition determined by the current discrete state of the system. The problem is to construct a supervisor that restricts the discrete-state transitions in the hybrid system so that the possible sequences of threshold events are contained in a given set of sequences (the desired threshold event language of the closed-loop system). Formally, the hybrid system supervisor can be synthesized using the theory of supervisor synthesis for discrete event systems. This procedure is described, and a computational approach to solve the problem is illustrated with an example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
R. S. Sreenivas and B. H. K rogh. On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 1:209–236, 1991.
Jose Miguel Eyzell González. Aspectos de S-ie-260-1ntese de Supervisores para Sistemas a Eventos Discretos e Sistemas H-ie-260-2bridos. Tese (doutorado), Programa de Pós Graduaç ão em Engenharia Elétrica, Universidade Federal de Santa Catarina, Florianópolis, Brasil, Abril 2000.
A. Chutinan and B.H. Krogh. Infinite-state transition system verification using approximate quotient transition systems. To appear IEEE Transactions on Automatic Control., 2000.
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.
D. Raymond and W. Derick. Grail: A c++ library for automata and expressions. Journal of Symbolic Computation, 11, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
González, J.M.E., da Cunha, A.E.C., Cury, J.E.R., Krogh, B.H. (2001). Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2001. Lecture Notes in Computer Science, vol 2034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45351-2_22
Download citation
DOI: https://doi.org/10.1007/3-540-45351-2_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41866-5
Online ISBN: 978-3-540-45351-2
eBook Packages: Springer Book Archive