Principios de los sistemas ciberfísicos

Opiniones de los lectores

El libro ha sido muy elogiado por su claridad y accesibilidad, sobre todo a la hora de presentar los sistemas ciberfísicos a lectores de diversas ingenierías. Equilibra eficazmente los conceptos teóricos con las implementaciones prácticas.

⬤ Escrito con claridad y fácil de entender
⬤ adecuado para principiantes e ingenieros de otras disciplinas
⬤ introducción bien estructurada a los sistemas ciberfísicos
⬤ cubre múltiples temas relevantes de forma cohesionada.

Algunos lectores pueden encontrar el contenido demasiado introductorio si buscan material más avanzado; podría percibirse como pesado en informática para quienes no estén familiarizados con la terminología.

(basado en 4 opiniones de lectores)

Título original:

Principles of Cyber-Physical Systems

Contenido del libro:

Un texto fundacional que ofrece una introducción rigurosa a los principios de diseño, especificación, modelado y análisis de sistemas ciberfísicos.

Un sistema ciberfísico consiste en un conjunto de dispositivos informáticos que se comunican entre sí e interactúan con el mundo físico a través de sensores y actuadores en un bucle de realimentación. Estos sistemas están cada vez más presentes en todas partes, desde edificios inteligentes a dispositivos médicos o automóviles. Este libro de texto ofrece una introducción rigurosa y completa a los principios de diseño, especificación, modelado y análisis de los sistemas ciberfísicos. El libro se basa en un conjunto diverso de subdisciplinas, como el diseño basado en modelos, la teoría de la concurrencia, los algoritmos distribuidos, los métodos formales de especificación y verificación, la teoría del control, los sistemas en tiempo real y los sistemas híbridos, y explica las ideas centrales de cada una de ellas que son relevantes para el diseño y el análisis de sistemas.

El libro explica cómo los modelos formales proporcionan abstracciones matemáticas para gestionar la complejidad del diseño de un sistema. Abarca modelos síncronos y asíncronos para la computación concurrente, modelos de tiempo continuo para sistemas dinámicos y sistemas híbridos para integrar la evolución discreta y continua. El papel de los requisitos de corrección en el diseño de sistemas fiables se ilustra con una serie de formalismos de especificación y las técnicas asociadas de verificación formal. Los temas incluyen requisitos de seguridad y vitalidad, lógica temporal, comprobación de modelos, verificación deductiva, análisis de estabilidad de sistemas lineales y algoritmos de programación en tiempo real. Los principios de modelado, especificación y análisis se ilustran mediante la construcción de soluciones a problemas de diseño representativos de algoritmos distribuidos, protocolos de red, diseño de control y robótica.

Este libro proporciona al campo de los sistemas ciberfísicos, en rápida expansión, un texto básico muy necesario, escrito por una autoridad consolidada. Es adecuado para su uso en el aula o como referencia para profesionales.