The following pages link to Rômulo Meira-Góes (Q2003813):
Displaying 7 items.
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
- Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- Synthesis of Supervisors Robust Against Sensor Deception Attacks (Q5036261) (← links)
- Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata (Q5092189) (← links)
- A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems (Q5092274) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
