Abstract
For a class of large-scale discrete event systems, the concept of ‘separability’ of a language plays a fundamental role in decentralized supervisory control. In this paper, we define separability of a predicate which is useful in decentralized state feedback control. We then investigate the relationship between separability of a predicate and separability of its corresponding legal language. We show that separability of a predicate is stronger than separability of its corresponding legal language. We also present a condition under which separability of a predicate is equivalent to separability of its corresponding legal language.
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.
Kumar, R., Garg, V. K., and Marcus, S. I. (1993) “Predicates and predicate transformers for supervisory control of discrete event dynamical systems,” IEEE Trans. Automat. Contr., vol. 38, no.2, pp. 232–247.
Li, Y., and Wonham, W. M. (1993) “Control of vector discrete-event systems I-the base model,” IEEE Trans. Automat. Contr., vol. 38, no. 8, pp. 1214–1227.
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. (1987a) “Supervisory control of a class of discrete event processes,” SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206–230.
Ramadge, P. J., and Wonham, W. M. (1987b) “Modular feedback logic for discrete event systems,” SIAM J. Contr. Optim., vol. 25, no. 5, pp. 1202-1218.
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.
Ushio, T. (1992) “Controllability of predicates and languages in discrete event systems,” Int. J. Syst. Sci., vol. 23, no. 10, pp. 1777–1783.
Willner, Y., and Heymann, M. (1991) “Supervisory control of concurrent discrete-event systems,” Int. J. Contr., vol. 54, no. 5, pp. 1143–1169.
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., Furukawa, Y. (2000). Separability of Predicates and Languages in 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_35
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_35
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive