Supervisory Control Architecture for Discrete-Event Systems

DOI10.1109/TAC.2008.927679zbMath1367.93361OpenAlexW2147504115MaRDI QIDQ4974263

Lei Feng, W. Murray Wonham

Publication date: 8 August 2017

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

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

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65)

Related Items

What information really matters in supervisor reduction? ⋮ Conflict-preserving abstraction of discrete event systems using annotated automata ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Supervisory control of discrete event systems with distinguishers ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ On the complexity of synthesizing a minimum-weighted supervisor under partial observation ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Sampled-data supervisory control ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ Compositional synthesis of supervisors in the form of state machines and state maps ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Robust consensus tracking for an integrator-type multi-agent system with disturbances and unmodelled dynamics ⋮ Sampled-data controller implementation ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ On the computation of natural observers in discrete-event systems ⋮ Supervisor localisation for large-scale discrete-event systems under partial observation ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Optimal modular control of discrete event systems with distinguishers and approximations ⋮ A hierarchical and modular control architecture for sequential behaviours ⋮ New results on supervisor localization, with case studies ⋮ Modular supervisory control and coordination of state tree structures ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay