On synthesizing robust discrete controllers under modeling uncertainty
DOI10.1145/2185632.2185648zbMATH Open1362.68190OpenAlexW2120088319WikidataQ59813916 ScholiaQ59813916MaRDI QIDQ2986755FDOQ2986755
Authors: Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray 
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2185632.2185648
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
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Synthesis problems (93B50) Temporal logic (03B44)
Cited In (18)
- Title not available (Why is that?)
- Robust discrete synthesis against unspecified disturbances
- On control synthesis for uncertain dynamical discrete-time systems through polyhedral techniques
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Specifiable robustness in reactive synthesis
- Optimally Resilient Strategies in Pushdown Safety Games
- On tolerance of discrete systems with respect to transition perturbations
- Latticed-LTL synthesis in the presence of noisy inputs
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Robust Controller Synthesis for Duration Calculus
- Synthesizing robust systems
- Hybrid Systems: Computation and Control
- Synthesizing optimally resilient controllers
- Safe environmental envelopes of discrete systems
- Synthesizing Optimally Resilient Controllers
- Control synthesis of uncertain Roesser-type discrete-time two-dimensional 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)
