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

(13)

• Fault-tolerant supervisory control with permanent faults
• Optimal modular control of discrete event systems with distinguishers and approximations
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
• Progressive events in supervisory control and compositional verification
• A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
• Control of parameterized discrete event systems
• Multi-level hierarchical interface-based supervisory control
• Hierarchical interface-based supervisory control with data events
• An efficient modular method for the control of concurrent discrete event systems: A language-based approach
• A survey on compositional algorithms for verification and synthesis in supervisory control
• 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

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)