Abstract
Supervisory control is control of a behavior or, equivalently, of a discrete-event system in this chapter modeled as an automaton. Supervisory control is exerted by specifying after each observation the set of enabled events. The automaton then chooses an event from the subset of enabled events, makes a transition and produces the observed event, after which the process repeats. The logical control objectives of supervisory control are legal behavior and required behavior. Legal behavior is a formal language which specifies what the automaton is safely allowed to do. The required behavior is a formal language which specifies what the system is required to do such as the completion of tasks. The main theorem is then that there exists a supervisory control such that the formal language of the controlled automaton equals the specification if and only if the specification is a controllable sublanguage. An algorithm to determine whether a specification is controllable is provided as well as an algorithm to compute the supervisor. If the specification is not controllable then there exists a supremal controllable sublanguage of the specification and a corresponding supervisory control.
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
Balemi, S., Hoffmann, G.J., Gyugi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal processor. IEEE Transactions on Automatic Control 38, 1040–1059 (1993)
Brandt, R.D., Garg, V., Kumar, R., Lin, F., Marcus, S.I., Wonham, W.M.: Formulas for calculating supremal controllable and normal sublanguages. Systems & Control Letters 15, 111–117 (1990)
Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the Amererican Mathematical Society 138, 295–311 (1969)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)
Chen, E., Lafortune, S.: Dealing with blocking in supervisory control of discrete event systems. In: Proc. of the 28th IEEE Conference on Decision and Control, New York, USA (1989)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)
Fabian, M., Lennartson, B.: A class of nondeterministic specification for supervisory control. European Journal of Control 3, 81–90 (1997)
Forschelen, S.T.J., van de Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)
Hashtrudi-Zad, S., Kwong, R.H., Wonham, W.M.: Supremum operators and computation of supremal elements in system theory. SIAM Journal of Control and Optimization 37, 695–709 (1999)
Jacobson, N.: Basic Algebra, 2nd edn., vol. 1. W.H. Freeman and Company, New York (1985)
Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton (1994)
Lafortune, S., Chen, E.: The infimal closed controllable superlanguage and its application in supervisory control. IEEE Transactions on Automatic Control 35, 398–405 (1990)
Lawvere, F.W., Roseburgh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003)
Lee, S.H.: Structural Decentralised Control of Concurrent Discrete-Event Systems. PhD thesis. Australian National University, Canberra, Australia (1998)
Overkamp, A.: Supervisory control using failure semantics and partial specifications. IEEE Transactions on Automatic Control 42, 498–510 (1997)
Polderman, J.W., Willems, J.C.: Introduction to mathematical system theory–A behavioral approach. Texts in Applied Mathematics, vol. 26. Springer, New York (1997)
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25, 206–230 (1987)
Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings IEEE 77, 81–98 (1989)
Theunissen, R.J.M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Supervisory control synthesis for a patient support system. In: Proc. European Control Conference, Budapest, Hungary (2009)
Thistle, J.G.: On control of systems modelled as deterministic Rabin automata. Discrete Event Dynamics Systems 5, 357–381 (1995)
Thistle, J.G.: Supervisory control of discrete event systems. Mathematical and Computer Modelling 23, 25–53 (1996)
Thistle, J.G., Malhamé, R.P., Hoang, H.H., Lafortune, S.: Feature interaction modelling, detection and resolution: A supervisory control approach. In: Feature Interactions in Telecommunications and Distributed Systems IV. IOS Press, Amsterdam (1997)
Thistle, J.G., Wonham, W.M.: Control of infinite behavior of finite automata. SIAM Journal of Control and Optimization 32, 1075–1097 (1994)
Thistle, J.G., Wonham, W.M.: Supervision of infinite behavior of discrete-event systems. SIAM Journal of Control and Optimization 32, 1098–1113 (1994)
Thomas, W.: Automata on infinite objects. In: van Leeuwen (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 133–191. Elsevier Science Publishers, Amsterdam (1990)
Thomas, W.: Universal Algebra for Computer Scientists. Springer, Berlin (1992)
Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. 30th IEEE Conference on Decision and Control, New York (1991)
Wonham, W.M.: Linear Multivariable Control: A Geometric Approach. Springer, Berlin (1979)
Wonham, W.M.: Supervisory Control of Discrete-Event Systems. University of Toronto (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
Masopust, T., van Schuppen, J.H. (2013). Supervisory Control with Complete Observations. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4276-8_3
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4275-1
Online ISBN: 978-1-4471-4276-8
eBook Packages: EngineeringEngineering (R0)