Follow
Rmulo Meira-Ges
Rmulo Meira-Ges
Assistant Professor, Electrical Engineering, Penn State University
Verified email at psu.edu - Homepage
Title
Cited by
Cited by
Year
Stealthy Deception Attacks for Cyber-Physical Systems
R Meira-Ges, E Kang, R Kwong, S Lafortune
56th IEEE Conference on Decision and Control, 2017
72*2017
Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical Systems
R Meira-Ges, E Kang, RH Kwong, S Lafortune
Automatica 121, 109172, 2020
502020
Synthesis of supervisors robust against sensor deception attacks
R Meira-Ges, S Lafortune, H Marchand
IEEE Transactions on Automatic Control 66 (10), 4990-4997, 2021
322021
Towards resilient supervisors against sensor deception attacks
R Meira-Ges, H Marchand, S Lafortune
2019 IEEE 58th Conference on Decision and Control (CDC), 5144-5149, 2019
242019
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata
R Meira-Goes, R Kwong, S Lafortune
Proceedings of the 2019 American Control Conference, 2019
222019
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata
R Meira-Ges, RH Kwong, S Lafortune
IEEE Transactions on Automatic Control 67 (6), 2873-2888, 2021
92021
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
S Mohajerani, R Meira-Ges, S Lafortune
15th IFAC Workshop on Discrete Event Systems, 2020
82020
Demonstration of indoor location privacy enforcement using obfuscation
R Meira-Ges, BC Rawlings, N Recker, G Willett, S Lafortune
IFAC-PapersOnLine - 14th IFAC Workshop on Discrete Event Systems. 51 (7…, 2018
8*2018
Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks
R Meira-Ges, S Lafortune
15th IFAC Workshop on Discrete Event Systems, 2020
52020
Mitigation of classes of attacks using a probabilistic discrete event system framework
ZY Wang, R Meira-Ges, S Lafortune, RH Kwong
IFAC-PapersOnLine 53 (4), 35-41, 2020
52020
Towards probabilistic intrusion detection in supervisory control of discrete event systems
R Meira-Ges, C Keroglou, S Lafortune
IFAC-PapersOnLine 53 (2), 1776-1782, 2020
42020
Using subobservers to synthesize opacity-enforcing supervisors
RH Moulton, BB Hamgini, ZA Khouzani, R Meira-Ges, F Wang, K Rudie
Discrete Event Dynamic Systems 32 (4), 611-640, 2022
32022
Dealing with sensor and actuator deception attacks in supervisory control
R Meira-Ges, H Marchand, S Lafortune
Automatica 147, 110736, 2023
12023
On tolerance of discrete systems with respect to transition perturbations
R Meira-Ges, E Kang, S Lafortune, S Tripakis
arXiv preprint arXiv:2110.04200, 2021
12021
A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems
R Meira-Ges, J Weitze, S Lafortune
IEEE Transactions on Automatic Control 67 (7), 3567-3573, 2021
12021
Resilience Against Sensor Deception Attacks at the Supervisory Control Layer of Cyber-Physical Systems: A Discrete Event Systems Approach
R Meira-Ges
12020
Risk-Averse Model Predictive Control for Priced Timed Automata
MT Anbarani, EC Balta, R Meira-Ges, I Kovalenko
arXiv preprint arXiv:2210.15604, 2022
2022
Requirements Engineering for Feedback Loops in Software-Intensive Systems
E Kang, R Meira-Ges
2022 IEEE 30th International Requirements Engineering Conference Workshops…, 2022
2022
On synthesizing tolerable and permissive controllers for labeled transition systems
R Meira-Ges, E Kang, S Lafortune, S Tripakis
IFAC-PapersOnLine 55 (28), 158-164, 2022
2022
Run-Time Adaptation of Quality Attributes for Automated Planning
R Wohlrab, R Meira-Ges, M Vierhauser
2022
The system can't perform the operation now. Try again later.
Articles 1–20