Abstract
We consider a generalized form of the conventional decentralized control architecture for discrete-event systems where the control actions of a set of supervisors can be “fused” using both union and intersection of enabled events. Namely, the supervisors agree a priori on choosing “fusion by union” for certain controllable events and “fusion by intersection” for certain other controllable events. We show that under this generalized architecture, a larger class of languages can be achieved than before since a relaxed version of the notion of co-observability appears in the necessary and sufficient conditions for the existence of supervisors. The computational complexity of verifying these new necessary and sufficient conditions is studied.Finally, a method of partitioning the controllable events between “fusion by union” and “fusion by intersection” is presented.
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
Cassandras, C. G. and Lafortune, S. (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers.
Prosser, J. H., Kam, M., and Kwatny, H. G. (1997). Decision fusion and supervisor synthesis in decentralized discrete-event systems. In Proc. 1997 Ameri. Contr. Conf., pages 2251–2255.
Rudie, K. and Willems, J. C. (1995). The computational complexity of decentralized discrete-event control problems. IEEE Trans. on Automat. Contr., 40(7):1313–1318.
Rudie, K. and Wonham, W. M. (1992). Think globally, act locally: Decentralized supervisory control. IEEE Trans. on Automat. Contr., 37(11):1692–1708.
Tsitsiklis, J. N. (1989). On the control of discrete event dynamical systems. Math. Control Signals Systems, 2(2):95–107.
Yoo, T. and Lafortune, S. (2000). A general architecture for decentralized supervisory control of discrete-event systems. Technical report, Univ. of Michigan.
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
Yoo, TS., Lafortune, S. (2000). A General Architecture for Decentralized Supervisory Control of 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_11
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive