Modular Control of Discrete-Event Systems With Coalgebra
From MaRDI portal
Publication:4974146
DOI10.1109/TAC.2007.915164zbMath1367.93233MaRDI QIDQ4974146
Jan H. van Schuppen, Jan Komenda
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Algebraic methods (93B25)
Related Items (9)
Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ Coinduction in Concurrent Timed Systems ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ State Complexity of Projected Languages ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Coordination control of discrete-event systems revisited
This page was built for publication: Modular Control of Discrete-Event Systems With Coalgebra
