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.

Coalgebra, Coobservability, Decentralized supervisory control, Discrete-event systems
dx.doi.org/10.1016/S1474-6670(17)34667-0
2nd IFAC Conference on Control Systems Design, CSD 2003
Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

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