2003
Coalgebra and coinduction in decentralized supervisory control
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| , , , | |
| doi.org/10.1016/S1474-6670(17)34667-0 | |
| 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 |
|
