The Resource Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, edited by Moamar Sayed-Mouchaweh, (electronic resource)

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, edited by Moamar Sayed-Mouchaweh, (electronic resource)

Label
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Title
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Statement of responsibility
edited by Moamar Sayed-Mouchaweh
Contributor
Editor
Provider
Subject
Language
eng
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
Image bit depth
0
LC call number
TK1-9971
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Sayed-Mouchaweh, Moamar.
  • SpringerLink
http://library.link/vocab/subjectName
  • Engineering
  • Computers
  • Automatic control
  • Quality control
  • Reliability
  • Industrial safety
  • Electrical engineering
  • Engineering
  • Communications Engineering, Networks
  • Quality Control, Reliability, Safety and Risk
  • Control
  • Information Systems and Communication Service
Label
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, edited by Moamar Sayed-Mouchaweh, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
X, 327 p. 104 illus., 67 illus. in color.
File format
multiple file formats
Form of item
electronic
Isbn
9783319749624
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-74962-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-319-74962-4
Label
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, edited by Moamar Sayed-Mouchaweh, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
X, 327 p. 104 illus., 67 illus. in color.
File format
multiple file formats
Form of item
electronic
Isbn
9783319749624
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-74962-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-319-74962-4

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...