Abstract
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for the supremal normal sublanguage, and for the supremal controllalble and normal sublanguage. The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cassandras, S.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)
Gaudin, B., Marchand, H.: Modular Supervisory Control of a Class of Concurrent Discrete Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24, pp. 181–186 (2004)
Komenda, J., van Schuppen, J.H.: Supremal Normal Sublanguages of Large Distributed Discrete-Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24 (2004)
Komenda, J.: Modular Control of Large Distributed Discrete-Event Systems with Partial Observations. In: Proceedings of the 15th International Conference on Systems Science, Wroclaw, Poland, vol. II, pp. 175–184 (September 2004)
Komenda, J., van Schuppen, J.H.: Modular antipermissive control of discrete-event systems. In: Proceedings of IFAC World Congress 2005, Prague (July 2005)
Komenda, J., van Schuppen, J.H.: Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. In: Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference, Sevilla, pp. 2775–2780 (December 2005)
Komenda, J., van Schuppen, J.H.: Modular control of discrete-event systems with coalgebra (submitted) (August 2005)
Komenda, J., van Schuppen, J.H.: Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discrete Event Dynamical Systems: Theory and Applications 15(3), 257–315 (2005)
Komenda, J., van Schuppen, J.H.: Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages. In: Proceedings International Workshop on Discrete Event Systems (WODES) (to appear, 2006)
Lamouchi, M., Thistle, J.G.: Effective Control Synthesis For Discrete Event Systems Under Partial Observations. In: Proceedings of the IEEE Conference on Decision and Control (2000)
Lin, F., Wonham, W.M.: On Observability of Discrete-Event Systems. Information Sciences 44, 173–198 (1988)
Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall International, New York (1989)
Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Pnueli, A., Rosner, R. (eds.) Proceedings of the 1990 IEEE Symposium on the Foundations of Computer Science, pp. 746–757. IEEE, New York (1990)
Ramadge, P.J., Wonham, W.M.: The Control of Discrete-Event Systems. Proc. IEEE 77, 81–98 (1989)
Rutten, J.J.M.M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3–80 (2000)
Tripakis, S.: Undecidable Problems of Decentralized Observation and Control. In: Proceedings of the IEEE Conference on Decision and Control (2001)
Tsitsiklis, J.N.: On the Control of Discrete-Event Dynamical Systems. Mathematics of Control, Signal, and Systems, 95–107 (1989)
Wong, K.C., Lee, S.: Structural Decentralized Control of Concurrent Discrete-Event Systems. European Journal of Control 8, 477–491 (2002)
Wonham, W.M.: Lecture notes on control of discrete-event systems, University of Toronto, Department ECE, Toronto (2005), http://www.control.toronto.edu/people/profs/wonham/wonham.html
Wonham, W.M., Ramadge, P.J.: On the Supremal Controllable Sublanguage of a Given Language. SIAM J. Control Optim. 25, 637–659 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Komenda, J., van Schuppen, J.H. (2006). Control of Modular and Distributed Discrete-Event Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2005. Lecture Notes in Computer Science, vol 4111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11804192_3
Download citation
DOI: https://doi.org/10.1007/11804192_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36749-9
Online ISBN: 978-3-540-36750-5
eBook Packages: Computer ScienceComputer Science (R0)