Relative coobservability for decentralised supervisory control of discrete-event systems

References

• Brandin, B. , & Wonham, W. M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control , 39 (2), 329–342.
   Web of Science ®Google Scholar
• Cai, K. , & Wonham, W. M. (2016). Supervisor localization: A top-down approach to distributed control of discrete-event systems . Lecture notes in control and information sciences Vol. 459. Switzerland: Springer.
   Google Scholar
• Cai, K. , Zhang, R. , & Wonham, W. M. (2015). On relative coobservability of discrete-event systems. In Proceeding American control conference (pp. 371–376). Chicago, IL.
   Google Scholar
• Cai, K. , Zhang, R. , & Wonham, W. M. (2015). Relative observability of discrete-event systems and its supremal sublanguages. IEEE Transactions on Automatic Control , 60 (3), 659–670.
   Web of Science ®Google Scholar
• Cai, K. , Zhang, R. , & Wonham, W. M. (2016). Relative observability and coobservability of timed discrete-event systems. IEEE Transactions on Automatic Control , 61 (11), 3382–3395.
   Web of Science ®Google Scholar
• Cai, K. , Zhang, R. , & Wonham, W. M. (2017). Characterizations and effective computation of supremal relatively observable sublanguages. Discrete Event Dynamic Systems: Theory Applications. Retrieved from https://doi.org/10.1007/s10626-017-0250-0. Also see “A new algorithm for computing the supremal relatively observable sublanguage ” (2016), In Proceeding Int. Workshop on Discrete Event Systems, pp. 8–13, Xi’an, China.
   Google Scholar
• Cho, H. , & Marcus, S. I. (1989). On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Mathematics of Control, Signals, and Systems , 2 (1), 47–69.
   Google Scholar
• Cieslak, R. , Desclaux, C. , Fawaz, A. S. , & Varaiya, P. (1988). Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control , 33 (3), 249–260.
   Web of Science ®Google Scholar
• Feng, L. , & Wonham, W. M. (2008). Supervisory control architecture for discrete-event systems. IEEE Transactions on Automatic Control , 53 (6), 1449–1461.
   Web of Science ®Google Scholar
• Kozak, P. , & Wonham, W. M. (1995). Fully decentralized solutions of supervisory control problems. IEEE Transactions on Automatic Control , 40 (12), 2094–2097.
   Web of Science ®Google Scholar
• Lin, F. , & Wonham, W. M. (1988). On Observability of Discrete-Event Systems. Information Sciences , 44 (3), 173–198.
   Web of Science ®Google Scholar
• Rohloff, K. , & Lafortune, S. (2003). On the synthesis of safe control policies in decentralized control of discrete-event systems. IEEE Transactions on Automatic Control , 48 (6), 1064–1068.
   Web of Science ®Google Scholar
• Rudie, K. , & Willems, J. C. (1995). The computational complexity of decentralized discrete-event control problems. IEEE Transactions on Automatic Control , 40 (7), 1313–1319.
   Web of Science ®Google Scholar
• Rudie, K. , & Wonham, W. M. (1992). Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control , 37 (11), 1692–1708.
   Web of Science ®Google Scholar
• Takai, S. , Kumar, R. , & Ushio, T. (2005). Characterization of co-observable languages and formulas for their super/sublanguages. IEEE Transactions on Automatic Control , 50 (4), 434–447.
   Web of Science ®Google Scholar
• Takai, S. , & Ushio, T. (2002). A modified normality condition for decentralized supervisory control of discrete event systems. Automatica , 38 (1), 185–189.
   Web of Science ®Google Scholar
• Tripakis, S. (2004). Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters , 90 (1), 21–28.
   Web of Science ®Google Scholar
• Wonham, W. M. (2017). Supervisory control of discrete-event systems. Systems Control Group, ECE Dept . University of Toronto. updated September 1, 2017. Retrieved from http://www.control.toronto.edu/DES.
   Google Scholar
• Yoo, T. S. , & Lafortune, S. (2002). A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems , 12 (3), 335–377.
   Web of Science ®Google Scholar
• Yoo, T. S. , & Lafortune, S. (2004). Decentralized supervisory control with conditional decisions: Supervisor existence. IEEE Transactions on Automatic Control , 49 (11), 1886–1904.
   Web of Science ®Google Scholar