Abstract
The design of reduced supervisors, suboptimal but easier to compute, is placed in a general perspective. Specifically, for a timed discrete-event system we compute a reduced supervisor based on an abstraction of the plant model in which time is measured with a slower clock. Such a model is simpler than the original, but has richer untimed behavior. Thus, an untimed specification met by the closed-loop reduced system is also met by the original system when controlled by the same supervisor. We show by means of an example that our reduced supervisors need not be optimal.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brandin, B. and Wonham, W. M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2):329–342.
Cury, J. E. R., Krogh, B. H. and Niinomi, T. (1998). Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, 43(4):564–568.
Hopcroft, J. E. and Ullman, J. D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison Wesley.
Ostroff, J. S. (1990). Deciding properties of timed transition models. IEEE Transactions on Parallel and Distributed Systems, 1(2):170–183.
TTCT ftp site. ftp://pc5.isr.uni-stuttgart.de/ttct.
Wong, K. C. and Wonham, W. M. (1996). Hierarchical control of timed discrete-event systems. Discrete Event Dynamic Systems, 6(3):275–306.
Wonham, W. M. and Ramadge, P. J. (1987). On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25(3):637–659.
Zhong, H. and Wonham, W. M. (1990). On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 35(10):1125–1134.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Gohari, P., Wonham, W.M. (2000). Reduced Supervisors for Timed Discrete-Event Systems. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_12
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive