Supervisory Control Architecture for Discrete-Event Systems
From MaRDI portal
Publication:4974263
DOI10.1109/TAC.2008.927679zbMATH Open1367.93361OpenAlexW2147504115MaRDI QIDQ4974263FDOQ4974263
Authors: 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
Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65)
Cited In (35)
- Verification complexity of a class of observational properties for modular discrete events systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- On coparanormality in distributed supervisory control of discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- 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
- Supervisory control of discrete event systems
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Overview of networked supervisory control with imperfect communication channels
- What information really matters in supervisor reduction?
- Relative coobservability for decentralised supervisory control of discrete-event systems
- New results on supervisor localization, with case studies
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- On the computation of natural observers in discrete-event systems
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- Supervisory control of discrete event systems with distinguishers
- Compositional coordinator synthesis of extended finite automata
- Supervisory control using augmented languages in discrete event systems
- Localisation-based distributed control of timed discrete-event systems with communication delay
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
- Robust consensus tracking for an integrator-type multi-agent system with disturbances and unmodelled dynamics
- Sampled-data supervisory control
- Optimal modular control of discrete event systems with distinguishers and approximations
- Supervisory Control of Discrete-Event Systems
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Sampled-data controller implementation
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- A hierarchical and modular control architecture for sequential behaviours
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Compositional synthesis of supervisors in the form of state machines and state maps
- Composite supervisory control for symmetric discrete-event systems
- A framework for state attraction of discrete event systems under partial observation
- Abstraction-based verification of codiagnosability for discrete event systems
This page was built for publication: Supervisory Control Architecture for Discrete-Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974263)