Robust discrete synthesis against unspecified disturbances

DOI10.1145/1967701.1967732zbMath1362.68175OpenAlexW1975823577MaRDI QIDQ2986731

Elaine Render, Rupak Majumdar, Paulo Tabuada

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967732

zbMATH Keywords

robustnesslinear temporal logiccyber-physical systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Lyapunov and storage functions (93D30) Design techniques (robust design, computer-aided design, etc.) (93B51) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Synthesizing robust systems ⋮ Synthesizing Optimally Resilient Controllers

This page was built for publication: Robust discrete synthesis against unspecified disturbances