Modular Control of Discrete-Event Systems With Coalgebra

DOI10.1109/TAC.2007.915164MaRDI QIDQ4974146zbMATH OpenFDO

Authors Jan Komenda, Jan H. van Schuppen

Publication date 8 August 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2007.915164

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Cited in

(11)

• Control of discrete-event systems with partial observations using coalgebra and coinduction
• On coparanormality in distributed supervisory control of discrete-event systems
• Coordination control of discrete-event systems revisited
• Coordination control of distributed discrete-event systems
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• Control of discrete-event systems with modular or distributed structure
• State complexity of projected languages
• Supervisory control synthesis of discrete-event systems using a coordination scheme
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
• Coinduction in concurrent timed systems

This page was built for publication: Modular Control of Discrete-Event Systems With Coalgebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974146)