Supervisory Control Architecture for Discrete-Event Systems
From MaRDI portal
Publication:4974263
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
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Modular supervisory control and coordination of state tree structures
- On coparanormality in distributed supervisory control of discrete-event systems
- Supervisory control of discrete event systems
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Supervisor localisation for large-scale discrete-event systems under partial observation
- What information really matters in supervisor reduction?
- Overview of networked supervisory control with imperfect communication channels
- 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 complexity of synthesizing a minimum-weighted supervisor under partial observation
- On the computation of natural observers in discrete-event systems
- Supervisory control of discrete event systems with distinguishers
- Supervisory control using augmented languages in discrete event systems
- Compositional coordinator synthesis of extended finite automata
- 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
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Supervisory Control of Discrete-Event Systems
- Sampled-data controller implementation
- A hierarchical and modular control architecture for sequential behaviours
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- Compositional synthesis of supervisors in the form of state machines and state maps
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- 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)
