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 • 16 Feb 2023 • Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
The need for control strategies that can address dynamic system uncertainty is becoming increasingly important.
no code implementations • 27 Oct 2022 • Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
In this paper, we propose a Risk-Averse Priced Timed Automata (PTA) Model Predictive Control (MPC) framework to increase flexibility of cyber-physical systems.
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.
no code implementations • 8 Oct 2021 • Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states.