Pages that link to "Item:Q5267209"
From MaRDI portal
The following pages link to Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models (Q5267209):
Displaying 9 items.
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor (Q869096) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← 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 optimal control of regular languages (Q2576144) (← links)
- Supervisory control of discrete-event systems with output: Application to hybrid systems (Q3543079) (← links)
- Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation (Q5745554) (← links)