Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

1. Prologue 2. Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis 3. Fault detection and localization using Modelica and abductive reasoning 4. Robust Data-Driven Fault Detection in Dynamic Process Environments Using Discrete Event Systems 5. Critical States Distance Filter Based Approach for Detection and Blockage of Cyberattacks in Industrial Control Systems 6. Active diagnosis for switched systems using Mealy machine modeling 7. Secure Diagnosability of Hybrid Dynamical Systems 8. Diagnosis in Cyber-physical systems with Fault Protection Assemblies 9. Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation 10. Diagnosability of Discrete Faults with Uncertain Observations 11. Abstractions Refinement for Hybrid Systems Diagnosability Analysis