Journal Articles
- 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", arXiv preprint arXiv:2302.08031
- 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
- Mostafa Tavakkoli Anbarani, Efe C Balta, Rômulo Meira-Góes and Ilya Kovalenko, 2022, "Risk-Averse Model Predictive Control for Priced Timed Automata", arXiv preprint arXiv:2210.15604
- 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", 23
- 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)
- 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
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"