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.
|, , ,|
|2nd IFAC Conference on Control Systems Design, CSD 2003|
|Organisation||Centrum Wiskunde & Informatica, Amsterdam (CWI), 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