Cantitate/Preț
Produs

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

Editat de Moamar Sayed-Mouchaweh
en Limba Engleză Hardback – 20 mar 2018
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 securityand 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.).
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 56285 lei  39-44 zile
  Springer International Publishing – 19 dec 2018 56285 lei  39-44 zile
Hardback (1) 71474 lei  6-8 săpt.
  Springer International Publishing – 20 mar 2018 71474 lei  6-8 săpt.

Preț: 71474 lei

Preț vechi: 87163 lei
-18% Nou

Puncte Express: 1072

Preț estimativ în valută:
13683 14223$ 11345£

Carte tipărită la comandă

Livrare economică 06-20 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319749617
ISBN-10: 3319749617
Pagini: 284
Ilustrații: X, 327 p. 104 illus., 67 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.65 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland

Cuprins

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.

Notă biografică

Moamar Sayed-Mouchaweh received his PhD from the University of Reims-France. He was working as Associated Professor in Computer Science, Control and Signal processing at the University of Reims-France in the Research center in Sciences and Technology of the Information and the Communication. In December 2008, he obtained the Habilitation to Direct Researches (HDR) in Computer science, Control and Signal processing. Since September 2011, he is working as a Full Professor in the High National Engineering School of Mines Department of Computer Science and Automatic Control. He edited the Springer book ‘Learning in Non-Stationary Environments: Methods and Applications‘, in April 2012 and wrote two SpringerBriefs ‘Discrete Event Systems: Diagnosis and Diagnosability’, and ‘Learning from Data Streams in Dynamic Environments’. He was a guest editor of several special issues of international journals. He was IPC Chair of conference Chair of several international workshops and conferences (IEEE International Conference on Machine Learning and Applications IEEE International Conference on Evolving and Adaptive Intelligent Systems). He is working as a member of the Editorial Board of Elsevier Journal “Applied Soft Computing” and Springer Journals “Evolving systems” and “Intelligent Industrial Systems”.

Textul de pe ultima copertă

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

Caracteristici

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