Diagnosability, security and safety of hybrid dynamic and cyber-physical systems / Moamar Sayed-Mouchaweh, editor.
Sayed-Mouchaweh, Moamar, editor.
2018
TK7895.E42 D53 2018
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Diagnosability, security and safety of hybrid dynamic and cyber-physical systems / Moamar Sayed-Mouchaweh, editor.
ISBN 9783319749624 (electronic book)
3319749625 (electronic book)
9783319749617
DOI https://doi.org/10.1007/978-3-319-74962-4
Published Cham, Switzerland : Springer, [2018]
Language English
Description 1 online resource (x, 327 pages) : illustrations
Other Standard Identifiers 10.1007/978-3-319-74962-4 doi
Call Number TK7895.E42 D53 2018
Dewey Decimal Classification 005.8
629.8
Summary 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.
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Description based on online resource; title from digital title page (viewed on April 18, 2018).
Added Author Sayed-Mouchaweh, Moamar, editor.
Available in Other Form Print version: 9783319749617
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export