Pages that link to "Item:Q869096"
From MaRDI portal
The following pages link to Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor (Q869096):
Displaying 5 items.
- A class of non-deterministic specifications for supervisory control (Q1365652) (← links)
- Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation (Q2730341) (← links)
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (Q2828481) (← links)
- (Q4926342) (← links)
- Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation (Q5745554) (← links)