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

1. Prologue
Moamar Sayed-Mouchaweh

2. Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis
Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray, Franz Langmayr

3. Fault Detection and Localization Using Modelica and Abductive Reasoning
Ingo Pill, Franz Wotawa

4. Robust Data-Driven Fault Detection in Dynamic Process Environments Using Discrete Event Systems
Edwin Lughofer

5. Critical States Distance Filter Based Approach for Detection and Blockage of Cyberattacks in Industrial Control Systems
Franck Sicard, Éric Zamai, Jean-Marie Flaus

6. Active Diagnosis for Switched Systems Using Mealy Machine Modeling
Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemaï

7. Secure Diagnosability of Hybrid Dynamical Systems
Gabriella Fiore, Elena Santis, Maria Domenica Benedetto

8. Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Saqib Hasan, Gabor Karsai

9. Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation
Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay

10. Diagnosability of Discrete Faults with Uncertain Observations
Alban Grastien, Marina Zanella

11. Abstractions Refinement for Hybrid Systems Diagnosability Analysis
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois, Louise Travé-Massuyès

Nyckelord: Engineering, Communications Engineering, Networks, Quality Control, Reliability, Safety and Risk, Control, Information Systems and Communication Service