Abstract
This paper presents an approach for reducing computational efforts in the synthesis of modular supervisors for discrete event systems. Most of large scale systems are represented by the composition of several smaller subsystems. To avoid the design on a single, often large plant, modular supervisors are synthesized on local models, which are constructed from those subsystems that are related to the given specifications. A sufficient and necessary condition for the nonblocking and optimality of the conjunction of multiple local supervisors is then presented. It is shown that this approach offers reduction in computational efforts when compared with previous approaches.
CAPES supported the first author and thc sccond author was supported in part by CNPq
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
B. A. Brandin and W. M. Wonham. Modular Supervisory Control of Timed Discrete-Event Systems. In Proceedings of the 32 nd IEEE Conference On Decision and Control, pages 2230–2235, December 1993.
J. M. Eyzell and J. E. R. Cury. Symmetry in the Supervisory Control Problem. In Proceedings of the Workshop on Discrete Event Systems, Cagliari, Italy, August 1998
F. Lin and W. M. Wonham, “Verification of nonblocking in decentralized supervision,” Control-Theory and Advanced Technology, 7(1): 19–29, 1991.
M. H. de Queiroz. Controle Supervisório Modular de Sistemas de Grande Porte. Master Dissertation, Dep. of Electrical Engineering, UFSC, SC, Brazil, March 2000.
M. H. de Queiroz and J. E. R. Cury. Modular Control of Composed Systems. In Proceedings of the American Control Conference, Chicago, USA, June 2000.
P. J. Ramadge and W. M. Wonham. The control of discrete event systems. In Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81–98, January 1989.
Y. Willner and M. Heymann. Supervisory control of concurrent discrete-event systems. International Journal on Control, 54(5):1143–1169, 1991.
W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete event systems. Mathematics of control of discrete event systems, 1(1): 13–30, 1988.
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
de Queiroz, M.H., Cury, J.E.R. (2000). Modular Supervisory Control of Large Scale 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_10
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive