Coalgebra and coinduction in decentralized supervisory control
Presented at the 2nd IFAC Conference on Control Systems Design, CSD 2003 (September 2003), Bratislava, Slovak Republic
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