Pages that link to "Item:Q4589448"
From MaRDI portal
The following pages link to Synthesis of Maximally-Permissive Supervisors for the Range Control Problem (Q4589448):
Displayed 6 items.
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)