Coalgebra and coinduction in decentralized supervisory control
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.
|Keywords||Coalgebra, Coobservability, Decentralized supervisory control, Discrete-event systems|
|Conference||2nd IFAC Conference on Control Systems Design, CSD 2003|
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