Supervisory Control Architecture for Discrete-Event Systems
From MaRDI portal
Cited in
(37)- Supervisory control using augmented languages in discrete event systems
- What information really matters in supervisor reduction?
- Verification complexity of a class of observational properties for modular discrete events systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- 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
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Modular supervisory control and coordination of state tree structures
- 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
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Supervisory Control of Discrete-Event Systems
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- Sampled-data supervisory control
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Relative coobservability for decentralised 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
- Localisation-based distributed control of timed discrete-event systems with communication delay
- 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
- Composite supervisory control for symmetric discrete-event systems
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Sampled-data controller implementation
- On the computation of natural observers in discrete-event systems
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Overview of networked supervisory control with imperfect communication channels
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- On coparanormality in distributed supervisory control of discrete-event systems
- Offline supervisory control synthesis: taxonomy and recent developments
- Abstraction-based verification of codiagnosability for discrete event systems
- Markov clustering based fully automated nonblocking hierarchical supervisory control of large-scale discrete-event systems
- Supervisory control of discrete event systems with distinguishers
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)
