Rômulo Meira-Góes

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 25

Top Topics

Automated Planning

Model Predictive Control

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

Publications

Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. NFM (2024)
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications. CoRR (2024)
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
Risk-Averse Model Predictive Control for Priced Timed Automata. ACC (2023)
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS (2023)
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems. CoRR (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147 (2023)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33 (4) (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CoRR (2023)
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems. CCTA (2023)
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
Robustification of Behavioral Designs against Environmental Deviations. ICSE (2023)
Eunsuk Kang, Rômulo Meira-Góes
Requirements Engineering for Feedback Loops in Software-Intensive Systems. RE Workshops (2022)
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
Using Subobservers to Synthesize Opacity-Enforcing Supervisors. Discret. Event Dyn. Syst. 32 (4) (2022)
Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser
Run-Time Adaptation of Quality Attributes for Automated Planning. SEAMS (2022)
Rômulo Meira-Góes, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. IEEE Trans. Autom. Control. 67 (6) (2022)
Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. IEEE Trans. Autom. Control. 67 (7) (2022)
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
Risk-Averse Model Predictive Control for Priced Timed Automata. CoRR (2022)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66 (10) (2021)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. CoRR (2021)
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
Using Subobservers to Synthesize Opacity-Enforcing Supervisors. CoRR (2021)
Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. 121 (2020)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR (2020)
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Towards resilient supervisors against sensor deception attacks. CDC (2019)