On synthesizing robust discrete controllers under modeling uncertainty

DOI10.1145/2185632.2185648zbMath1362.68190OpenAlexW2120088319WikidataQ59813916 ScholiaQ59813916MaRDI QIDQ2986755

Ufuk Topcu, Necmiye Ozay, Richard M. Murray, Jun Liu

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

zbMATH Keywords

robustnesstemporal logicdiscrete controller synthesis

Mathematics Subject Classification ID

Applications of game theory (91A80) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Artificial intelligence for robotics (68T40)

Related Items (9)

Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Specifiable robustness in reactive synthesis ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Synthesizing Optimally Resilient Controllers ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Synthesizing optimally resilient controllers ⋮ Optimally Resilient Strategies in Pushdown Safety Games

This page was built for publication: On synthesizing robust discrete controllers under modeling uncertainty