000			03847nam a2200433 a 4500
005			20260701202229.0
006			m d
007			cr cnu---uuuuu
008			180730s2018 s 000 0 eng d
020			_a9783319635880 _9978-3-319-63588-0
040			_aCO-CtgCURN _bspa _ccoctgcurn
082	0	4	_a005.131 _223
100	1		_aPlatzer, André., _eautor. _4aut. _4http://id.loc.gov/vocabulary/relators/aut
245	1	0	_aLogical Foundations of Cyber-Physical Systems _h[electronic resource] / _cby André Platzer.
260		4	_aCham : : : _bSpringer International Publishing : : : _bImprint: Springer,,, _c2018.
260		1	_c2018.
300			_aXXXI, 639 p. 182 illus., 176 illus. in color. : _bonline resource.
336			_atexto _btxt _2rdacontent
337			_acomputador _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
504			_aIncluye referencias bibliográficas e índice.
505	0		_aCyberphysical 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.
520			_aLos 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.
650		0	_aCiencias de la computación.
650		0	_aInteligencia artificial.
650		0	_aLógica matemática y simbólica.
650		0	_aSeguridad en sistemas.
650	1	4	_aLógica matemática y lenguajes formales.
650	2	4	_aControl, Robotica, Mecatrónica.
650	2	4	_aControl de calidad, riesgo y seguridad.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
852			_aMHC _bMHC _cCF _h005.131 _iP719
856	7		_uhttps://unicurn.sharepoint.com/:b:/s/biblioteca/EYxcN-y5JxVIuh57Z5JcHHgB8Jpe_835DHO9kE_K3sth8g?e=nZ7hZp _z<img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
942			_cCF _h005.131 _iP719 _2ddc
960			_aa2850654
999			_c29562 _d29562