Coalgebra and coinduction in decentralized supervisory control

Komenda, J.

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
MSC	Discrete event systems (msc 93C65)
Publisher	CWI
Series	Modelling, Analysis and Simulation [MAS]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Komenda, J. (2003). Coalgebra and coinduction in decentralized supervisory control. Modelling, Analysis and Simulation [MAS]. CWI.

Free Full Text ( Final Version , 1mb )

Coalgebra and coinduction in decentralized supervisory control

Publication

Publication

Address

CWI researchers

Questions or comments?

Coalgebra and coinduction in decentralized supervisory control

Publication

Publication

Workflow

Workflow

Add Content