Publication

Journals

  1. R. Meira-Góes, H. Marchand and S. Lafortune "Dealing with sensor and actuator deception attacks in supervisory control" Automatica, 2023.

  2. R.H. Moulton, B. Behinaein Hamgini, Z.A. Khouzani, R. Meira-Góes, F. Wang, K. Rudie "Using Subobservers to Synthesize Opacity-Enforcing Supervisors" in Discrete Event Dynamic Systems, 2022.

  3. R. Meira-Góes, J. Weitze and S. Lafortune "A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems" in IEEE Transaction on Automatic Control, 2021.

  4. R. Meira-Góes, R.H. Kwong and S. Lafortune "Synthesis of optimal multi-objective attack strategies for controlled systems modeled by probabilistic automata" in IEEE Transaction on Automatic Control, 2021. [PDF]

  5. R. Meira-Góes, H. Marchand and S. Lafortune "Synthesis of Supervisors Robust Against Sensor Deception Attacks" in IEEE Transaction on Automatic Control, 2021. [PDF]

  6. R. Meira-Góes, E. Kang, R.H. Kwong and S. Lafortune "Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical Systems" in Automatica, 2020. [PDF]

Peer-reviewed Conferences

  1. C. Zhang, T. Saluja,R. Meira-Góes, M. Bolton, D. Garlan and E. Kang "Robustification of Behavioral Designs against Environmental Deviations" (To appear) 2023 International Conference on Software Engineering (ICSE), 2023.
    26% acceptance rate

  2. S. Chu, E. Shedden, C. Zhang, R. Meira-Góes, G.A. Moreno, D. Garlan and E. Kang "Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening" (To appear) 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023.

  3. M.T. Anbarani, E.C. Balta, R. Meira-Góes, I. Kovalenko "Risk-Averse Model Predictive Control for Priced Timed Automata" (To appear) American Control Conference, 2023.

  4. R. Meira-Góes E. Kang, S.Lafortune and S. Tripakis "On synthesizing tolerable and permissive controllers for labeled transition systems" in 16th Workshop on Discrete Event Systems, 2022.

  5. E. Kang and R. Meira-Góes "Requirements Engineering for Feedback Loops in Software-Intensive Systems" in 30th International Requirements Engineering Conference, 2022.

  6. R. Wolhrab, R. Meira-Góes and M. Vierhauser "Run-Time Adaptation of Quality Attributes for Automated Planning" in 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2022.

  7. R. Meira-Góes, C. Keroglou, and S. Lafortune "Towards probabilistic intrusion detection in supervisory control of discrete event systems" in 21st IFAC World Congress, 2020. [PDF]

  8. R. Meira-Góes and S. Lafortune "Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks" in 15th Workshop on Discrete Event Systems, 2020. [PDF]
    Best Paper Award Finalist

  9. S. Mohajerani, R. Meira-Góes, and S. Lafortune "Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction" in 15th Workshop on Discrete Event Systems, 2020. [PDF]

  10. Z. Wang, R. Meira-Góes, S. Lafortune, and R.H. Kwong "Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework" in 15th Workshop on Discrete Event Systems, 2020. [PDF]

  11. R. Meira-Góes, H. Marchand and S. Lafortune "Towards resilient supervisors against sensor deception attacks" in 58th IEEE Conference on Decision and Control, 2019. [PDF]

  12. R. Meira-Góes, R.H. Kwong and S. Lafortune "Synthesis of Sensor Deception Attacks for Systems Modeled As Probabilistic Automata" in 2019 American Control Conference, 2019. [PDF]

  13. R. Meira-Góes, B.C. Rawlings, N. Recker, G. Willett and S. Lafortune "Demonstration of Indoor Location Privacy Enforcement using Obfuscation" in 14th Workshop on Discrete Event Systems, pp. 145-151, 2018. [PDF]

  14. R. Meira-Góes, E. Kang, R.H. Kwong and S. Lafortune "Stealthy Deception Attacks for Cyber-Physical Systems" in 56th IEEE Conference on Decision and Control, pp. 4224-4230,2017. [PDF]

In Progress/Pre-print

  1. M.T. Anbarani, E.C. Balta, R. Meira-Góes, I. Kovalenko "A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems" ArXiv, 2023. (Under review at CCTA 2023)

  2. R. Meira-Góes, E. Kang, S. Lafortune, and S. Tripakis "On tolerance of discrete systems with respect to transition perturbations" ArXiv, 2021.