國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems/ edited by Moamar Sayed-Mouchaweh.
其他作者:	Sayed-Mouchaweh, Moamar.
面頁冊數:	X, 327 p. 104 illus., 67 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Electrical engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-74962-4
ISBN:	9783319749624

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems[electronic resource] /edited by Moamar Sayed-Mouchaweh. - 1st ed. 2018. - X, 327 p. 104 illus., 67 illus. in color.online resource.

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.

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

ISBN: 9783319749624

Standard No.: 10.1007/978-3-319-74962-4doiSubjects--Topical Terms:

596380
Electrical engineering.

LC Class. No.: TK1-9971

Dewey Class. No.: 621.382

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
LDR:04380nam a22003975i 4500 001 994714
003 DE-He213
005 20200705192424.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319749624 $9 978-3-319-74962-4
024 7 $a 10.1007/978-3-319-74962-4 $2 doi
035 $a 978-3-319-74962-4
050 4 $a TK1-9971
072 7 $a TJK $2 bicssc
072 7 $a TEC041000 $2 bisacsh
072 7 $a TJK $2 thema
082 0 4 $a 621.382 $2 23
245 1 0 $a Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems $h [electronic resource] / $c edited by Moamar Sayed-Mouchaweh.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a X, 327 p. 104 illus., 67 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 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.
520 $a 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 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 $a Electrical engineering. $3 596380
650 0 $a Quality control. $3 573723
650 0 $a Reliability. $3 573603
650 0 $a Industrial safety. $3 568114
650 0 $a Control engineering. $3 1249728
650 0 $a Computers. $3 565115
650 1 4 $a Communications Engineering, Networks. $3 669809
650 2 4 $a Quality Control, Reliability, Safety and Risk. $3 671184
650 2 4 $a Control and Systems Theory. $3 1211358
650 2 4 $a Information Systems and Communication Service. $3 669203
700 1 $a Sayed-Mouchaweh, Moamar. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 891963
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319749617
776 0 8 $i Printed edition: $z 9783319749631
776 0 8 $i Printed edition: $z 9783030091149
856 4 0 $u https://doi.org/10.1007/978-3-319-74962-4
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)