30 results on '"Carvalho, Lilian K."'
Search Results
2. Enforcing current-state opacity of Cyber-Physical Systems with multiple channels using event replacements
3. Public bicycle sharing systems control and performance evaluation: A Petri net-based approach
4. Ensuring confidentiality of cyber-physical systems using event-based cryptography
5. Diagnosability verification using LTL model checking
6. Synthesis of an Obfuscation Policy that Guarantees Utility Satisfying a New Privacy Criterion
7. Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20
8. Celebrating 45 Years of the Brazilian Society of Automatics
9. Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach
10. Is LTL model-checking effective for Diagnosability Verification?
11. CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY
12. Detectable and Undetectable Network Attack Security of Cyber-physical Systems
13. Security Against Network Attacks in Supervisory Control Systems
14. Diagnosability of intermittent sensor faults in discrete event systems
15. Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
16. Robust diagnosis of discrete event systems against intermittent loss of observations
17. Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
18. Celebrating 45 Years of the Brazilian Society of Automatics
19. Supervisory Control of Networked Discrete Event Systems With Timing Structure
20. Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments
21. Supervisory control of timed networked discrete event systems
22. Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations
23. New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
24. Robust diagnosis of discrete-event systems against permanent loss of observations
25. New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage
26. A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems
27. Robust codiagnosability of discrete-event systems against permanent loss of observations
28. Robust codiagnosability of discrete-event systems against permanent loss of observations.
29. Diagnosability of intermittent sensor faults in discrete event systems
30. Generalized Robust Diagnosability of Discrete Event Systems*
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.