Pages that link to "Item:Q1793986"
From MaRDI portal
The following pages link to Supervisory control of discrete-event systems (Q1793986):
Displaying 50 items.
- Multitasking supervisory control of discrete-event systems (Q816701) (← links)
- State complexity of projection on languages recognized by permutation automata and commuting letters (Q832938) (← links)
- Supervisory control of the structured dynamic discrete-event systems (Q1040544) (← links)
- Modular supervisory control of discrete-event systems (Q1113863) (← links)
- On tolerable and desirable behaviors in supervisory control of discrete event systems (Q1180362) (← links)
- An algebraic approach to supervisory control (Q1190821) (← links)
- Supervisory control using augmented languages in discrete event systems (Q1314846) (← links)
- Supervisor reduction for discrete-event systems (Q1424972) (← links)
- Modelling, state observation and diagnosis of quantised systems (Q1860511) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Usability aware secret protection with minimum cost (Q2074757) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Nonblocking supervisory control of state-tree structures with event forcing (Q2094965) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- A new modeling framework for networked discrete-event systems (Q2123207) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Computational complexity of synchronization under sparse regular constraints (Q2140506) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- Modular control of discrete-event systems using similarity (Q2151956) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Synthesis of covert actuator attackers for free (Q2220340) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Know means no: Incorporating knowledge into discrete-event control systems (Q2730222) (← links)
- Hierarchical supervisory control of discrete event systems with model uncertainty (Q3152473) (← links)
- (Q3152840) (← links)
- (Q3827852) (← links)
- Exploiting symmetry in the synthesis of supervisors for discrete event systems (Q4540504) (← links)
- Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
- Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279) (← links)
- (Q4673552) (← links)
- Confusion avoidance for discrete event systems by P/E constraints and supervisory control (Q4683964) (← links)
- (Q4848112) (← links)
- Supervisory control of real-time discrete-event systems using lattice theory (Q4876585) (← links)
- State-space supervisory control of reconfigurable discrete event systems (Q4876792) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems (Q4974721) (← links)
- Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← 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)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- Modular supervisory control for multi-floor manufacturing processes (Q6063113) (← links)