000 04983nam a22005415i 4500
001 978-3-319-74962-4
003 DE-He213
005 20220801220942.0
007 cr nn 008mamaa
008 180308s2018 sz | s |||| 0|eng d
020 _a9783319749624
_9978-3-319-74962-4
024 7 _a10.1007/978-3-319-74962-4
_2doi
050 4 _aTK5101-5105.9
072 7 _aTJK
_2bicssc
072 7 _aTEC041000
_2bisacsh
072 7 _aTJK
_2thema
082 0 4 _a621.382
_223
245 1 0 _aDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
_h[electronic resource] /
_cedited by Moamar Sayed-Mouchaweh.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aX, 327 p. 104 illus., 67 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPrologue.- 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.
520 _aCyber-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 handles 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.). Synthesizes the state of the art in the domain of ensuring the security of cyber physical systems in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty; Studies the complementarities and the links between the different methods and techniques of fault diagnosis of hybrid dynamic systems; Includes the required notions, definitions and background to understand the problem of fault diagnosis of hybrid dynamic systems and how to solve it; Uses multiple examples in order to facilitate the understanding of the presented methods.
650 0 _aTelecommunication.
_910437
650 0 _aSecurity systems.
_931879
650 0 _aControl engineering.
_931970
650 0 _aComputer networks .
_931572
650 1 4 _aCommunications Engineering, Networks.
_931570
650 2 4 _aSecurity Science and Technology.
_931884
650 2 4 _aControl and Systems Theory.
_931972
650 2 4 _aComputer Communication Networks.
_953316
700 1 _aSayed-Mouchaweh, Moamar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_953317
710 2 _aSpringerLink (Online service)
_953318
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319749617
776 0 8 _iPrinted edition:
_z9783319749631
776 0 8 _iPrinted edition:
_z9783030091149
856 4 0 _uhttps://doi.org/10.1007/978-3-319-74962-4
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c79126
_d79126