Pages that link to "Item:Q2986755"
From MaRDI portal
The following pages link to On synthesizing robust discrete controllers under modeling uncertainty (Q2986755):
Displaying 13 items.
- On control synthesis for uncertain dynamical discrete-time systems through polyhedral techniques (Q260885) (← links)
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Control synthesis of uncertain Roesser-type discrete-time two-dimensional systems (Q1718518) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Robust discrete synthesis against unspecified disturbances (Q2986731) (← links)
- (Q3415774) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
- Specifiable robustness in reactive synthesis (Q6102166) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)