On synthesizing robust discrete controllers under modeling uncertainty
From MaRDI portal
(Redirected from Publication:2986755)
Recommendations
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Synthesizing robust systems
- Robust discrete synthesis against unspecified disturbances
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Robust Controller Synthesis for Duration Calculus
Cited in
(18)- Latticed-LTL synthesis in the presence of noisy inputs
- Control synthesis of uncertain Roesser-type discrete-time two-dimensional systems
- Synthesizing robust systems
- Synthesizing optimally resilient controllers
- On control synthesis for uncertain dynamical discrete-time systems through polyhedral techniques
- Robust discrete synthesis against unspecified disturbances
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- scientific article; zbMATH DE number 5116804 (Why is no real title available?)
- Synthesizing Optimally Resilient Controllers
- Optimally Resilient Strategies in Pushdown Safety Games
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Hybrid Systems: Computation and Control
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Specifiable robustness in reactive synthesis
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- On tolerance of discrete systems with respect to transition perturbations
- Robust Controller Synthesis for Duration Calculus
- Safe environmental envelopes of discrete systems
This page was built for publication: On synthesizing robust discrete controllers under modeling uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986755)
