Coalgebraic methods provide new results and insights for the supervisory control of discrete-event systems (DES). In this paper a coalgebraic framework for the decentralized control of DES is proposed. Coobservability, decomposability, and strong decomposability are described by corresponding relations and compared to each other.

Additional Metadata
Keywords Coalgebra, Coobservability, Decentralized supervisory control, Discrete-event systems
Persistent URL dx.doi.org/10.1016/S1474-6670(17)34667-0
Conference 2nd IFAC Conference on Control Systems Design, CSD 2003
Citation
Komenda, J. (Jan). (2003). Coalgebra and coinduction in decentralized supervisory control. In IFAC-PapersOnLine (pp. 193–198). doi:10.1016/S1474-6670(17)34667-0