Supervisor specification and synthesis for discrete event systems
From MaRDI portal
Publication:3798530
DOI10.1080/00207178808906178zbMath0652.93017MaRDI QIDQ3798530
Feng Lin, W. Murray Wonham, A. F. Vaz
Publication date: 1988
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207178808906178
discrete event system; synchronization; mutual exclusion; legal constraints language; supervisor structure
68Q45: Formal languages and automata
93C65: Discrete event control/observation systems
93B50: Synthesis problems
68N25: Theory of operating systems
Related Items
Absolute controllability of predicates in discrete event systems, Formulas for calculating supremal controllable and normal sublanguages, Decentralized supervisory control of discrete event systems with nonhomogeneous control structure, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Controllability and control-invariance in discrete-event systems, Controllability of predicates and languages in discrete-event systems
Cites Work