2003
Coalgebra and coinduction in decentralized supervisory control
Publication
Publication
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 | |
|---|---|
| CWI | |
| Modelling, Analysis and Simulation [MAS] | |
|
Komenda, J. (2003). Coalgebra and coinduction in decentralized supervisory control. In Modelling, Analysis and Simulation [MAS] (E 0309). CWI. |
|
