Search Results for author: Rômulo Meira-Góes

Found 5 papers, 1 papers with code

Safe Environmental Envelopes of Discrete Systems

1 code implementation1 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.

Risk-Averse Model Predictive Control for Priced Timed Automata

no code implementations27 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.

Decision Making Model Predictive Control

Using Subobservers to Synthesize Opacity-Enforcing Supervisors

no code implementations8 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.

On tolerance of discrete systems with respect to transition perturbations

no code implementations8 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.