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

DOI10.1109/TAC.2005.854586zbMATH Open1365.93296OpenAlexW2984582970MaRDI QIDQ5274142FDOQ5274142

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 (13)

• 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)