Nonblocking Supervisory Control of State Tree Structures

DOI10.1109/TAC.2006.875030MaRDI QIDQ5281831zbMATH OpenOpenAlexFDO

Authors Chuan Ma, W. Murray Wonham

Publication date 27 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.2006.875030

Mathematics Subject Classification ID

Applications of graph theory (05C90) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65) Application models in control theory (93C95)

Cited in

(21)

• Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
• Nonblocking supervisory control of state-tree structures with event forcing
• Supervisory controller synthesis and implementation for safety PLCs
• SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Supervisory control of state-tree structures with partial observation
• Correctability of fault-tolerant stochastic discrete-event systems
• Modular supervisory control and coordination of state tree structures
• Application of supervisory control theory to theme park vehicles
• Incremental hierarchical construction of modular supervisors for discrete-event systems
• Implementation of supervisory control using extended finite-state machines
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• A framework for synthesis of communicating decentralised supervisors for discrete-event systems
• Fault-tolerant supervisory control with permanent faults
• Quantitatively nonblocking supervisory control of discrete-event systems
• Bounded-time nonblocking supervisory control of timed discrete-event systems
• Reducing the computational effort of symbolic supervisor synthesis
• Offline supervisory control synthesis: taxonomy and recent developments
• Markov clustering based fully automated nonblocking hierarchical supervisory control of large-scale discrete-event systems

This page was built for publication: Nonblocking Supervisory Control of State Tree Structures

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