Pages that link to "Item:Q1922191"
From MaRDI portal
The following pages link to Supervisory control of discrete event systems (Q1922191):
Displaying 7 items.
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)