Journal Articles
- Mostafa Tavakkoli Anbarani, Efe C Balta, Meira-G\'oes, R\^omulo and Ilya Kovalenko, 2023, "A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems", arXiv preprint arXiv:2302.08031
- Meira-G\'oes, R\^omulo, Marchand, Herv\'e, Lafortune and St\'ephane, 2023, "Dealing with sensor and actuator deception attacks in supervisory control", Automatica, 147, pp. 110736
- Changjian Zhang, Tarang Saluja, Meira-G\'oes, R\^omulo, Matthew Bolton, David Garlan and Eunsuk Kang, 2023, "Robustification of Behavioral Designs against Environmental Deviations"
- Mostafa Tavakkoli Anbarani, Efe C Balta, Meira-G\'oes, R\^omulo 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, Meira-G\'oes, R\^omulo, Fei Wang and Karen Rudie, 2022, "Using subobservers to synthesize opacity-enforcing supervisors", Discrete Event Dynamic Systems, 32, (4), pp. 611--640
- Meira-G\'oes, R\^omulo, Jack Weitze, Lafortune and St\'ephane, 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
- Meira-G\'oes, R\^omulo, Eunsuk Kang, Lafortune, St\'ephane and Stavros Tripakis, 2021, "On tolerance of discrete systems with respect to transition perturbations", arXiv preprint arXiv:2110.04200
- Meira-G\'oes, R\^omulo, Lafortune, St\'ephane, Marchand and Herv\'e, 2021, "Synthesis of supervisors robust against sensor deception attacks", IEEE Transactions on Automatic Control, 66, (10), pp. 4990--4997
- Ze Yang Wang, Meira-G\'oes, R\^omulo, Lafortune, St\'ephane and Raymond H Kwong, 2020, "Mitigation of classes of attacks using a probabilistic discrete event system framework", IFAC-PapersOnLine, 53, (4), pp. 35--41
- Meira-G\'oes, R\^omulo, Eunsuk Kang, Raymond H Kwong, Lafortune and St\'ephane, 2020, "Synthesis of sensor deception attacks at the supervisory layer of Cyber--Physical Systems", Automatica, 121, pp. 109172
- Meira-G\'oes, R\^omulo, Christoforos Keroglou, Lafortune and St\'ephane, 2020, "Towards probabilistic intrusion detection in supervisory control of discrete event systems", IFAC-PapersOnLine, 53, (2), pp. 1776--1782
Conference Proceedings
- Simon Chu, Emma Shedden, Changjian Zhang, Meira-G\'oes, R\^omulo, Gabriel A Moreno, David Garlan and Eunsuk Kang, 2023, "Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening", 23
- Sahar Mohajerani, Meira-G\'oes, R\^omulo, Lafortune and St\'ephane, 2020, "Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction"
- Meira-G\'oes, R\^omulo, Lafortune and St\'ephane, 2020, "Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks"
- Romulo Meira-Goes, Raymond Kwong and Stephane Lafortune, 2019, "Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata"
- Meira-G\'oes, R\^omulo, Marchand, Herv\'e, Lafortune and St\'ephane, 2019, "Towards resilient supervisors against sensor deception attacks", pp. 5144--5149
- Meira-G\'oes, R\^omulo, Blake C Rawlings, Nicholas Recker, Gregory Willett, Lafortune and St\'ephane, 2018, "Demonstration of indoor location privacy enforcement using obfuscation", 51, (7), pp. 145--151
- Meira-G\'oes, R\^omulo, Eunsuk Kang, Raymond Kwong, Lafortune and St\'ephane, 2017, "Stealthy Deception Attacks for Cyber-Physical Systems"
Other
- Meira-G\'oes and Romulo, 2020, "Resilience Against Sensor Deception Attacks at the Supervisory Control Layer of Cyber-Physical Systems: A Discrete Event Systems Approach"
