Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems

DOI10.1109/TAC.2012.2200373MaRDI QIDQ5353060zbMATH OpenOpenAlexFDO

Authors Klaus Werner Schmidt, José E. R. Cury

Publication date 8 September 2017

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

Full work available at URL https://doi.org/10.1109/tac.2012.2200373

Mathematics Subject Classification ID

Hierarchical systems (93A13) Control/observation systems governed by ordinary differential equations (93C15) Discrete event control/observation systems (93C65)

Cited in

(8)

• Modular supervisory control of discrete-event systems
• Verification complexity of a class of observational properties for modular discrete events systems
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Abstraction-based verification and synthesis for prognosis of discrete event systems
• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• On Tractable Instances of Modular Supervisory Control
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

This page was built for publication: Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems

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