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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sayed-Mouchaweh, Moamar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Electrical engineering.; Quality control.; Reliability.; Industrial safety.; Control engineering.; Computers.; Communications Engineering, Networks.; Quality Control, Reliability, Safety and Risk.; Control and Systems Theory.; Information Systems and Communication Service.

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 betwee...

Πίνακας περιεχομένων:

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