Supervisor specification and synthesis for discrete event systems

DOI10.1080/00207178808906178zbMath0652.93017OpenAlexW2135545193MaRDI QIDQ3798530

A. F. Vaz, Feng Lin, W. Murray Wonham

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

zbMATH Keywords

discrete event systemsynchronizationmutual exclusionlegal constraints languagesupervisor structure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Theory of operating systems (68N25)

Related Items (7)

Controllability and control-invariance in discrete-event systems ⋮ Absolute controllability of predicates in discrete event systems ⋮ Controllability of predicates and languages in discrete-event systems ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems

Cites Work

• Unnamed Item
• Modular supervisory control of discrete-event systems
• On supervisor reduction in discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes

This page was built for publication: Supervisor specification and synthesis for discrete event systems