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):
Displaying 9 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)
- (Q5375230) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Zero-determinant strategies of multi-player multi-action repeated games with multiple memories (Q6540820) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)