Pages that link to "Item:Q1729092"
From MaRDI portal
The following pages link to Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092):
Displayed 4 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Detectability verification of probabilistic Boolean networks (Q2056383) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)