Pages that link to "Item:Q5274241"
From MaRDI portal
The following pages link to Robust nonblocking supervisory control of discrete-event systems (Q5274241):
Displayed 11 items.
- Efficient robust supervisors for discrete event systems (Q848220) (← links)
- Maximizing robustness of supervisors for partially observed discrete event systems. (Q1428152) (← links)
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Robust prognosability for a set of partially observed discrete event systems (Q2342521) (← links)
- Verification of robust diagnosability for partially observed discrete event systems (Q2391506) (← links)
- Robust nonblocking supervisory control of discrete-event systems under partial observation (Q2433426) (← links)
- Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions (Q2440671) (← links)
- Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition (Q3015154) (← links)
- Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation (Q5745554) (← links)
- Fault-tolerant supervisory control with permanent faults (Q6105530) (← links)