Abstract
We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors. Given a nonempty and closed language as the upper bound specification, we consider a problem to synthesize a reliable decentralized supervisor such that the closed-loop behavior is still legal under possible failures of any less than or equal to n —. k (1 ≤ k ≤ n) local supervisors. We synthesize two such reliable decentralized supervisors. One is synthesized based on a suitably defined normal sublanguage. The other is the fully decentralized supervisor induced by a suitably defined centralized supervisor.
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
Cieslak, R., Desclaux, C, Fawaz, A. S., and Varaiya, P. (1988) “Supervisory control of discrete-event processes with partial observations,” IEEE Trans. Automat Contr., vol. 33, no. 3, pp. 249–260.
Kozak, P., and Wonham, W. M. (1995) “Fully decentralized solutions of supervisory control problems,” IEEE Trans. Automat. Contr., vol. 40, no. 12, pp. 2094–2097.
Kumar, R., and Shayman, M. A. (1998) “Formulae relating controllability, observability, and co-observability,” Automatica, vol. 34, no. 2, pp. 211–215.
Lin, F., and Wonham, W. M. (1988) “Decentralized supervisory control of discrete-event systems,” Inf. Sci., vol. 44, no. 3, pp. 199–224.
Ramadge, P. J., and Wonham, W. M. (1987) “Supervisory control of a class of discrete event processes,” SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206–230.
Rudie, K., and Wonham, W. M. (1992) “Think globally, act locally: decentralized supervisory control,” IEEE Trans. Automat. Contr., vol. 37, no. 11, pp. 1692–1708.
Takai, S., and Ushio, T. (1999) “Reliable decentralized supervisory control of discrete event systems,” Proc. 38th IEEE CDC, pp.2224–2229.
Willner, Y., and Heymann, M. (1991) “Supervisory control of concurrent discrete-event systems,” Int. J. Contr., vol. 54, no. 5, pp. 1143–1169.
Wonham, W. M., and Ramadge, P. J. (1987) “On the supremal controllable sublanguage of a given language,” SIAM J. Contr. Optim., vol. 25, no. 3, pp. 637–659.
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
Takai, S., Ushio, T. (2000). Synthesis of Reliable Decentralized Supervisors for 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_13
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive