10 citations · 32 across the 26 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…
eess.SY2021★ 2 cited
On tolerance of discrete systems with respect to transition perturbations
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune +1
Control systems should enforce a desired property for both expected modeled situations as well as unexpected unmodeled environmental situations. Existing methods focus on designing…