Pages that link to "Item:Q4974263"

The following pages link to Supervisory Control Architecture for Discrete-Event Systems (Q4974263):

Displaying 31 items.

• Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
• On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885) (← links)
• Sampled-data supervisory control (Q481359) (← links)
• Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
• A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
• Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
• Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
• What information really matters in supervisor reduction? (Q1626914) (← links)
• Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
• Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
• Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
• A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
• New results on supervisor localization, with case studies (Q2348367) (← links)
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
• Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
• Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation (Q2979535) (← links)
• Robust consensus tracking for an integrator-type multi-agent system with disturbances and unmodelled dynamics (Q3015110) (← links)
• Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
• Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices (Q5026918) (← links)
• Localisation-based distributed control of timed discrete-event systems with communication delay (Q5027357) (← links)
• Composite supervisory control for symmetric discrete-event systems (Q5134309) (← links)
• Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
• Sampled-data controller implementation (Q5745624) (← links)
• On the computation of natural observers in discrete-event systems (Q5962024) (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
• Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)
• A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems (Q6496167) (← links)