Synopses & Reviews
Synopsis
Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, controlled, coordinated, and integrated by a computing and communicating core. The interaction between both physical and cyber components requires tools allowing analyzing and modeling both the discrete and continuous dynamics. Therefore, many CPS can be modeled as hybrid dynamic systems in order to take into account both discrete and continuous behaviors as well as the interactions between them. Guaranteeing the security and safety of CPS is a challenging task because of the inherent interconnected and heterogeneous combination of behaviors (cyber/physical, discrete/continuous) in these systems. This book presents recent and advanced approaches and tech-niques that address the complex problem of analyzing the diagnosability property of cyber physical systems and ensuring their security and safety against faults and attacks. The CPS are modeled as hybrid dynamic systems using different model-based and data-driven approaches in different application domains (electric transmission networks, wireless communication networks, intrusions in industrial control systems, intrusions in production systems, wind farms etc.). These approaches handle the problem of ensuring the security of CPS in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty (uncertainty related to the event occurrences, to their order of occurrence, to their value etc.).
Synopsis
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