000			04737nam a22003975i 4500
710	2		_aSpringerLink (Online service) _0http://id.loc.gov/authorities/names/no2005046756 _1http://viaf.org/viaf/274647764/ _9106996
999			_c102604 _d102604 _x1
001			102604
003			ES-MaUEC
005			20230102113050.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			180308s2018 gw | s |||| 0|eng d
020			_a9783319749624
024	7		_a10.1007/978-3-319-74962-4 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aTK7895.E42 _b2018 EB
245	0	0	_aDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems _cedited by Moamar Sayed-Mouchaweh.
264		1	_aCham _bSpringer International Publishing _c2018
300			_a1 recurso en línea (X, 327 páginas) _bilustraciones
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aEngineering (Springer-11647)
505	0		_aPrologue.- 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	3		_aCyber-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.
988			_aEBSPRINGER_2018
650		7	_2embne _9667201 _aSistemas embebidos
650		7	_2embne _aSeguridad informática _9158200
700	1		_aSayed-Mouchaweh, Moamar. _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt _0http://id.loc.gov/authorities/names/no2012100949 _1http://viaf.org/viaf/107059889/ _997837
776	0	8	_iEdición impresa: _z9783319749617
776	0	8	_iEdición impresa: _z9783319749631
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-74962-4 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b04/2020 _dz _ek _zSI