目次

1. Prologue2. Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis3. Fault detection and localization using Modelica and abductive reasoning4. Robust Data-Driven Fault Detection in Dynamic Process Environments Using Discrete Event Systems5. Critical States Distance Filter Based Approach for Detection and Blockage of Cyberattacks in Industrial Control Systems6. Active diagnosis for switched systems using Mealy machine modeling7. Secure Diagnosability of Hybrid Dynamical Systems8. Diagnosis in Cyber-physical systems with Fault Protection Assemblies9. Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation10. Diagnosability of Discrete Faults with Uncertain Observations11. Abstractions Refinement for Hybrid Systems Diagnosability Analysis