Advertisement

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

  • Moamar Sayed-Mouchaweh

Table of contents

  1. Front Matter
    Pages i-x
  2. Moamar Sayed-Mouchaweh
    Pages 1-15
  3. Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray, Franz Langmayr
    Pages 17-43
  4. Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemaï
    Pages 147-173
  5. Gabriella Fiore, Elena De Santis, Maria Domenica Di Benedetto
    Pages 175-200
  6. Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Saqib Hasan, Gabor Karsai
    Pages 201-225
  7. Alban Grastien, Marina Zanella
    Pages 253-278
  8. Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois, Louise Travé-Massuyès
    Pages 279-318
  9. Back Matter
    Pages 319-327

About this book

Introduction

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.

Keywords

Hybrid Dynamic Systems (HDS) Fault Diagnosis of Hybrid Dynamic Systems Diagnosis of Parametric Faults Parametric and Discrete Faults Diagnosing Hybrid Dynamic Systems

Editors and affiliations

  • Moamar Sayed-Mouchaweh
    • 1
  1. 1.Institute Mines-Telecom Lille DouaiDouaiFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-74962-4
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-74961-7
  • Online ISBN 978-3-319-74962-4
  • Buy this book on publisher's site