Photo of Rômulo Meira-Goes

Rômulo Meira-Goes

Assistant Professor

Affiliation(s):

  • School of Electrical Engineering and Computer Science
  • Electrical Engineering

316 Electrical Engineering East

rzm5911@psu.edu

814-865-0184

Personal or Departmental Website

Research Areas:

Control and Decision Systems; Security and Privacy

Interest Areas:

Systems and Controls; Formal Methods; Robotics

 
 

 

Education

  • B.S., Electrical Engineering, Universidade Tecnologica Federal do Parana, 2015
  • M.S., Electrical Engineering, University of Michigan, 2017
  • Ph.D., Electrical and Computer Engineering, University of Michigan, 2020

Publications

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
  • Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune and Stavros Tripakis, 2023, "Safe Environmental Envelopes of Discrete Systems", arXiv preprint arXiv:2306.01025
  • 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", Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, ser. SEAMS, 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"

Research Projects

Honors and Awards

  • Cyber-Physical Systems Rising Stars, University of Virginia, 2022

Service

Service to Penn State:

Service to External Organizations: