03847nam a2200433 a 4500 20260701202229.0 m d cr cnu---uuuuu 180730s2018 s 000 0 eng d 9783319635880 978-3-319-63588-0 CO-CtgCURN spa coctgcurn 005.131 23 Platzer, André., autor. aut. http://id.loc.gov/vocabulary/relators/aut Logical Foundations of Cyber-Physical Systems [electronic resource] / by André Platzer. Cham : : : Springer International Publishing : : : Imprint: Springer,,, 2018. 2018. XXXI, 639 p. 182 illus., 176 illus. in color. : online resource. texto txt rdacontent computador c rdamedia recurso en línea cr rdacarrier text file PDF rda 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. Ciencias de la computación. Inteligencia artificial. Lógica matemática y simbólica. Seguridad en sistemas. Lógica matemática y lenguajes formales. Control, Robotica, Mecatrónica. Control de calidad, riesgo y seguridad. SpringerLink (Online service) Springer eBooks MHC MHC CF 005.131 P719 https://unicurn.sharepoint.com/:b:/s/biblioteca/EYxcN-y5JxVIuh57Z5JcHHgB8Jpe_835DHO9kE_K3sth8g?e=nZ7hZp <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico CF 005.131 P719 ddc a2850654 29562 29562 0 0 ddc 0 005_131000000000000_P719 0 CF MHC MHC CF 2025-03-29 0 005.131 P719 2025-03-29 17:09:43 CF 2025-03-29