Robust discrete synthesis against unspecified disturbances
From MaRDI portal
Publication:2986731
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
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
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