Supervisory Control Architecture for Discrete-Event Systems

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)