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.
|Discrete event systems (msc 93C65)|
|Modelling, Analysis and Simulation [MAS]|
Komenda, J. (2003). Coalgebra and coinduction in decentralized supervisory control. Modelling, Analysis and Simulation [MAS]. CWI.