Abstract
This paper shows that beyond the expected basic results on supervisor existence and synthesis, the temporal logic systems analysis for the invariance control of an arbitrary past formula P yields new insights into supremal control. These insights come in the form of equivalent temporal characterizations. One characterization allows a natural-language interpretation which provides a very good intuitive feel of the supremal controllability concept. Another provides a structurally elegant representation revealing that the past formula P must never be stronger than some fixed logic ‘constant’. Finally, a controllable canonical form is exposed and its significance is discussed.
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
Kumar, R., Garg, V. K., and Marcus, S. I. (1993). Predicate and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Transactions on Automatic Control, 38(2):232–247.
Li, Y. and Wonham, W. M. (1988). Controllability and observability in the state-feedback control of discrete event systems. In Proceedings of the 27th IEEE International Conference on Decision and Control, pages 203–208, Austin, Texas, U.S.A.
Manna, Z. and Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Verlag New York, Inc.
Ostroff, J. S. (1989). Temporal logic for Real Time Systems. John Wiley & Sons New York, Inc.
Ramadge, P. J. and Wonham, W. M. (1987b). Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206–230.
Seow, K. T. (1997). A Temporal Logic Approach to Supervisory Control of Discrete-Event Systems. Doctor of Philosophy (Ph.D) Thesis, School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore.
Seow, K. T. and Devanathan, R. (1999). Control computation and complexity of temporal-safety in discrete-event systems. In Proceedings of the American Control Conference, pages 1976–1980, San Diego, California, USA.
Seow, K. T. and Devanathan, R. (1996). A temporal logic approach to discrete event control for the safety canonical class. Systems and Control Letters, 28(4):205–217.
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
Seow, KT. (2000). Equivalent Existence Structures for Temporal-Safety Control. 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_5
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive