Nonblocking Supervisory Control of State Tree Structures

DOI10.1109/TAC.2006.875030zbMath1366.93355OpenAlexW2115425820MaRDI QIDQ5281831

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) Application models in control theory (93C95) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (16)

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

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