Journal Articles
- Rômulo Meira-Góes, Hervé Marchand and Stéphane Lafortune, 2023, "Dealing with sensor and actuator deception attacks in supervisory control", Automatica, 147, pp. 110736
- Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra and Nejib Ammar, 2023, "Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations", arXiv preprint
- Rômulo Meira Góes, Eunsuk Kang, Stéphane Lafortune and Stavros Tripakis, 2023, "On tolerance of discrete systems with respect to transition perturbations", Discrete Event Dynamic Systems, 33, (4), pp. 395-424
- Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang and Karen Rudie, 2022, "Using subobservers to synthesize opacity-enforcing supervisors", Discrete Event Dynamic Systems, 32, (4), pp. 611--640
- Rômulo Meira-Góes, Jack Weitze and Stéphane Lafortune, 2021, "A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems", IEEE Transactions on Automatic Control, 67, (7), pp. 3567--3573
- Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune and Stavros Tripakis, 2021, "On tolerance of discrete systems with respect to transition perturbations", arXiv preprint arXiv:2110.04200
- Rômulo Meira-Góes, Stéphane Lafortune and Hervé Marchand, 2021, "Synthesis of supervisors robust against sensor deception attacks", IEEE Transactions on Automatic Control, 66, (10), pp. 4990--4997
- Rômulo Meira-Góes, Eunsuk Kang, Raymond H Kwong and Stéphane Lafortune, 2020, "Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems", Automatica, 121, pp. 109172
Conference Proceedings
- Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A Moreno, David Garlan and Eunsuk Kang, 2023, "Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening", Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, ser. SEAMS, 23
- Mostafa Tavakkoli Anbarani, Efe C Balta, Rômulo Meira-Góes and Ilya Kovalenko, 2023, "A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems", 2023 IEEE Conference on Control Technology and Applications (CCTA), IEEE, pp. 136-142
- Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan and Eunsuk Kang, 2023, "Robustification of Behavioral Designs against Environmental Deviations", 2023 International Conference on Software Engineering (ICSE)
- Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune and Stavros Tripakis, 2023, "Safe Environmental Envelopes of Discrete Systems", 2023 International Conference on Computer Aided Verification (CAV), Springer Nature Switzerland, pp. 326-350
- Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan and Eunsuk Kang, 2023, "Fortis: A Tool for Analysis and Repair of Robust Software Systems", 2023 Formal Methods in Computer-Aided Design (FMCAD), pp. 1-9
- Rômulo Meira-Góes, Andrew Wintenberg, Shoma Matsui and Stephane Lafortune, 2023, "MDESops: an open-source software tool for discrete event systems modeled by automata", 2023 International Federation of Automatic Control World Congress, pp. 6093-6098
- Mostafa Tavakkoli Anbarani, Efe C Balta, Rômulo Meira-Góes and Ilya Kovalenko, 2023, "Risk-Averse Model Predictive Control for Priced Timed Automata", 2023 American Control Conference (ACC), pp. 4332-4338
- Sahar Mohajerani, Rômulo Meira-Góes and Stéphane Lafortune, 2020, "Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction", 15th IFAC Workshop on Discrete Event Systems
- Rômulo Meira-Góes and Stéphane Lafortune, 2020, "Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks", 15th IFAC Workshop on Discrete Event Systems
- Ze Yang Wang, Rômulo Meira-Góes, Stéphane Lafortune and Raymond H Kwong, 2020, "Mitigation of classes of attacks using a probabilistic discrete event system framework", 15th IFAC Workshop on Discrete Event Systems, Elsevier, 53, (4), pp. 35--41
- Rômulo Meira-Góes, Christoforos Keroglou and Stéphane Lafortune, 2020, "Towards probabilistic intrusion detection in supervisory control of discrete event systems", 1st Virtual IFAC World Congress, Elsevier, 53, (2), pp. 1776--1782
- Rômulo Meira-Góes, Raymond Kwong and Stéphane Lafortune, 2019, "Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata", Proceedings of the 2019 American Control Conference
- Rômulo Meira-Góes, Hervé Marchand and Stéphane Lafortune, 2019, "Towards resilient supervisors against sensor deception attacks", 2019 IEEE 58th Conference on Decision and Control, pp. 5144--5149
- Rômulo Meira-Góes, Blake C Rawlings, Nicholas Recker, Gregory Willett and Stéphane Lafortune, 2018, "Demonstration of indoor location privacy enforcement using obfuscation", 14th IFAC Workshop on Discrete Event Systems., 51, (7), pp. 145--151
- Rômulo Meira-Góes, Eunsuk Kang, Raymond Kwong and Stéphane Lafortune, 2017, "Stealthy Deception Attacks for Cyber-Physical Systems", 56th IEEE Conference on Decision and Control
- Parv Kapoor, Eunsuk Kang and Romulo Meira Goes, , "Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications", 16th NASA Formal Methods Symposium
Other
- Rômulo Meira-Góes, 2020, "Resilience Against Sensor Deception Attacks at the Supervisory Control Layer of Cyber-Physical Systems: A Discrete Event Systems Approach"
