Hierarchical interface-based supervisory Control-part I: serial case

DOI10.1109/TAC.2005.854586MaRDI QIDQ5274142zbMATH OpenOpenAlexFDO

Authors Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, W. Murray Wonham

Publication date 12 July 2017

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

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(14)

• Hierarchical supervisory control of discrete event systems based on reliable events
• Fault-tolerant supervisory control with permanent faults
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
• Progressive events in supervisory control and compositional verification
• PSPACE-completeness of modular supervisory control problems
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• On the computation of natural observers in discrete-event systems
• Hierarchical interface-based supervisory control with data events
• A survey on compositional algorithms for verification and synthesis in supervisory control
• Control of parameterized discrete event systems
• Optimal modular control of discrete event systems with distinguishers and approximations
• Multi-level hierarchical interface-based supervisory control
• A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
• An efficient modular method for the control of concurrent discrete event systems: A language-based approach

This page was built for publication: Hierarchical interface-based supervisory Control-part I: serial case

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