Inicio
Web Biblioteca
Plataforma Genesis
Imagen de Google Jackets

Logical foundations of cyber-physical systems [electronic resource] / by André Platzer.

Por: Colaborador(es): Tipo de material: TextoTextoFecha de copyright: Cham : : Springer International Publishing : : Imprint: Springer,, 2018Editor: 2018Descripción: XXXI, 639 páginas. 182 illus., 176 illus. in color. : online resourceTipo de contenido:
  • texto
Tipo de medio:
  • computador
Tipo de soporte:
  • recurso en línea
ISBN:
  • 9783319635880
  • 978-3-319-63588-0
Tema(s): Clasificación CDD:
  • 005.131 P719 23
Recursos en línea:
Contenidos:
Cyberphysical Systems: Introduction -- Differential Equations and Domains -- Choice and Control -- Safety and Contracts -- Dynamical Systems and Dynamic Axioms -- Truth and Proof -- Control Loops and Invariants -- Events and Responses -- Reactions and Delays -- Differential Equations and Differential Invariants -- Differential Equations and Proofs -- Ghosts and Differential Ghosts -- Logical Foundations and CPS -- Differential Invariants and Proof Theory -- Verified Models and Verified Runtime Validation -- Hybrid Systems and Games -- Winning Strategies and Regions -- Winning and Proving Hybrid Games -- Game Proofs and Separations -- Virtual Substitution and Real Equations -- Virtual Substitution and Real Arithmetic -- Axioms and Uniform Substitutions -- Differential Axioms and Uniform Substitutions -- Model Checking and Reachability Analysis -- Distributed Systems and Hybrid Systems.
En: Springer eBooksResumen: Los sistemas ciberfísicos (CPS) combinan capacidades cibernéticas, como el cálculo o la comunicación, con capacidades físicas, como el movimiento u otros procesos físicos. Los automviles, aviones y robots son ejemplos excelentes, porque se mueven físicamente en el espacio de una manera determinada por algoritmos de control computarizados discretos. Diseñar estos algoritmos es un desafío debido a su estrecha relación con el comportamiento físico, mientras que es vital que estos algoritmos sean correctos porque confiamos en ellos para las tareas críticas de seguridad. Este libro de texto enseña a los estudiantes universitarios los principios básicos detrás de los CPS. Les muestra cómo desarrollar modelos y controles; identificar especificaciones de seguridad y propiedades críticas; razonar rigurosamente sobre los modelos CPS; aprovechar la composicionalidad de sistemas multi-dinámicos para domar la complejidad de CPS; identificar las restricciones de control requeridas; verificar modelos CPS de escala apropiada en lógica; y desarrollar una intuición para los efectos operacionales.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura topográfica Estado Fecha de vencimiento Código de barras
Libros electrónicos Libros electrónicos Institución Universitaria Mayor de Cartagena - Sede Centro 005.131 P719 (Navegar estantería(Abre debajo)) Disponible

Incluye referencias bibliográficas e índice.

Cyberphysical Systems: Introduction -- Differential Equations and Domains -- Choice and Control -- Safety and Contracts -- Dynamical Systems and Dynamic Axioms -- Truth and Proof -- Control Loops and Invariants -- Events and Responses -- Reactions and Delays -- Differential Equations and Differential Invariants -- Differential Equations and Proofs -- Ghosts and Differential Ghosts -- Logical Foundations and CPS -- Differential Invariants and Proof Theory -- Verified Models and Verified Runtime Validation -- Hybrid Systems and Games -- Winning Strategies and Regions -- Winning and Proving Hybrid Games -- Game Proofs and Separations -- Virtual Substitution and Real Equations -- Virtual Substitution and Real Arithmetic -- Axioms and Uniform Substitutions -- Differential Axioms and Uniform Substitutions -- Model Checking and Reachability Analysis -- Distributed Systems and Hybrid Systems.

Los sistemas ciberfísicos (CPS) combinan capacidades cibernéticas, como el cálculo o la comunicación, con capacidades físicas, como el movimiento u otros procesos físicos. Los automviles, aviones y robots son ejemplos excelentes, porque se mueven físicamente en el espacio de una manera determinada por algoritmos de control computarizados discretos. Diseñar estos algoritmos es un desafío debido a su estrecha relación con el comportamiento físico, mientras que es vital que estos algoritmos sean correctos porque confiamos en ellos para las tareas críticas de seguridad. Este libro de texto enseña a los estudiantes universitarios los principios básicos detrás de los CPS. Les muestra cómo desarrollar modelos y controles; identificar especificaciones de seguridad y propiedades críticas; razonar rigurosamente sobre los modelos CPS; aprovechar la composicionalidad de sistemas multi-dinámicos para domar la complejidad de CPS; identificar las restricciones de control requeridas; verificar modelos CPS de escala apropiada en lógica; y desarrollar una intuición para los efectos operacionales.

Con tecnología Koha