| Título : |
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems |
| Tipo de documento: |
documento electrónico |
| Autores: |
Sayed-Mouchaweh, Moamar, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
X, 327 p. 104 ilustraciones, 67 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-74962-4 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Telecomunicación Sistemas de seguridad Ingeniería de control Red de computadoras Ingeniería en Comunicaciones Redes Ciencia y tecnología de seguridad Teoría de sistemas y control Redes de comunicación informática |
| Índice Dewey: |
621.382 Ingeniería de comunicaciones |
| Resumen: |
Los sistemas ciberfísicos (CPS) se caracterizan por ser una combinación de componentes físicos (planta física, proceso, red) y cibernéticos (software, algoritmo, computación) cuyas operaciones son monitoreadas, controladas, coordinadas e integradas por un núcleo informático y de comunicación. La interacción entre los componentes físicos y cibernéticos requiere herramientas que permitan analizar y modelar la dinámica tanto discreta como continua. Por lo tanto, muchos CPS pueden modelarse como sistemas dinámicos híbridos para tener en cuenta comportamientos tanto discretos como continuos, así como las interacciones entre ellos. Garantizar la seguridad de los CPS es una tarea desafiante debido a la combinación inherente, interconectada y heterogénea de comportamientos (cibernéticos/físicos, discretos/continuos) en estos sistemas. Este libro presenta enfoques y técnicas recientes y avanzados que abordan el complejo problema de analizar la propiedad de diagnosticabilidad de los sistemas ciberfísicos y garantizar su seguridad contra fallas y ataques. Los CPS se modelan como sistemas dinámicos híbridos utilizando diferentes enfoques basados en modelos y datos en diferentes dominios de aplicación (redes de transmisión eléctrica, redes de comunicación inalámbrica, intrusiones en sistemas de control industrial, intrusiones en sistemas de producción, parques eólicos, etc.). Estos enfoques abordan el problema de garantizar la seguridad de los CPS en presencia de ataques y verificar su diagnosticabilidad en presencia de diferentes tipos de incertidumbre (incertidumbre relacionada con la ocurrencia de eventos, su orden de ocurrencia, su valor, etc.). Sintetiza el estado del arte en el ámbito de garantizar la seguridad de los sistemas ciberfísicos en presencia de ataques y verificar su diagnosticabilidad en presencia de diferentes tipos de incertidumbre; Estudia las complementariedades y los vínculos entre los diferentes métodos y técnicas de diagnóstico de fallos de sistemas dinámicos híbridos; Incluye las nociones, definiciones y antecedentes necesarios para comprender el problema del diagnóstico de fallas de sistemas dinámicos híbridos y cómo solucionarlo; Utiliza múltiples ejemplos para facilitar la comprensión de los métodos presentados. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems [documento electrónico] / Sayed-Mouchaweh, Moamar, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 327 p. 104 ilustraciones, 67 ilustraciones en color. ISBN : 978-3-319-74962-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Telecomunicación Sistemas de seguridad Ingeniería de control Red de computadoras Ingeniería en Comunicaciones Redes Ciencia y tecnología de seguridad Teoría de sistemas y control Redes de comunicación informática |
| Índice Dewey: |
621.382 Ingeniería de comunicaciones |
| Resumen: |
Los sistemas ciberfísicos (CPS) se caracterizan por ser una combinación de componentes físicos (planta física, proceso, red) y cibernéticos (software, algoritmo, computación) cuyas operaciones son monitoreadas, controladas, coordinadas e integradas por un núcleo informático y de comunicación. La interacción entre los componentes físicos y cibernéticos requiere herramientas que permitan analizar y modelar la dinámica tanto discreta como continua. Por lo tanto, muchos CPS pueden modelarse como sistemas dinámicos híbridos para tener en cuenta comportamientos tanto discretos como continuos, así como las interacciones entre ellos. Garantizar la seguridad de los CPS es una tarea desafiante debido a la combinación inherente, interconectada y heterogénea de comportamientos (cibernéticos/físicos, discretos/continuos) en estos sistemas. Este libro presenta enfoques y técnicas recientes y avanzados que abordan el complejo problema de analizar la propiedad de diagnosticabilidad de los sistemas ciberfísicos y garantizar su seguridad contra fallas y ataques. Los CPS se modelan como sistemas dinámicos híbridos utilizando diferentes enfoques basados en modelos y datos en diferentes dominios de aplicación (redes de transmisión eléctrica, redes de comunicación inalámbrica, intrusiones en sistemas de control industrial, intrusiones en sistemas de producción, parques eólicos, etc.). Estos enfoques abordan el problema de garantizar la seguridad de los CPS en presencia de ataques y verificar su diagnosticabilidad en presencia de diferentes tipos de incertidumbre (incertidumbre relacionada con la ocurrencia de eventos, su orden de ocurrencia, su valor, etc.). Sintetiza el estado del arte en el ámbito de garantizar la seguridad de los sistemas ciberfísicos en presencia de ataques y verificar su diagnosticabilidad en presencia de diferentes tipos de incertidumbre; Estudia las complementariedades y los vínculos entre los diferentes métodos y técnicas de diagnóstico de fallos de sistemas dinámicos híbridos; Incluye las nociones, definiciones y antecedentes necesarios para comprender el problema del diagnóstico de fallas de sistemas dinámicos híbridos y cómo solucionarlo; Utiliza múltiples ejemplos para facilitar la comprensión de los métodos presentados. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
