Principios de los sistemas ciberfísicos

Opiniones de los lectores

El libro presenta un tratamiento claro y exhaustivo de los sistemas ciberfísicos, haciéndolo accesible a ingenieros de diversas especialidades, en particular ingenieros aeronáuticos y mecánicos. Está bien escrito y tiende puentes entre los conceptos teóricos y la aplicación práctica.

⬤ Redacción clara
⬤ buen nivel de abstracción
⬤ apoyo a la aplicación práctica
⬤ útil para ingenieros de distintas disciplinas
⬤ cubre una gama de temas que incluye autómatas, sistemas de control y dinámica.

Algunos lectores pueden encontrar el contenido demasiado informático si no proceden de la informática.

(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 liveness, 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.