The following pages link to Lilian Kawakami Carvalho (Q1716510):
Displaying 13 items.
- Detection and mitigation of classes of attacks in supervisory control systems (Q1716512) (← links)
- (Q1788690) (redirect page) (← links)
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Robust diagnosis of discrete-event systems against permanent loss of observations (Q1939629) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (Q2123407) (← links)
- Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage (Q4566940) (← links)
- Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations (Q4566963) (← links)
- Supervisory Control of Networked Discrete Event Systems With Timing Structure (Q4990222) (← links)
- Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← links)
- Ensuring confidentiality of cyber-physical systems using event-based cryptography (Q6132049) (← links)
