1 code implementation • 1 Jun 2023 • Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
This paper proposes a notion of \emph{robustness} as an explicit, first-class property of a transition system that captures how robust it is against possible \emph{deviations} in the environment.
no code implementations • 8 Oct 2021 • Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
In this paper, we propose an approach for analyzing control systems with respect to their tolerance against environmental perturbations.