Detalles MARC
| 000 -LEADER |
|---|
| campo de control de longitud fija |
03847nam a2200433 a 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20260701202229.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
m d |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr cnu---uuuuu |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
180730s2018 s 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783319635880 |
| -- |
978-3-319-63588-0 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
CO-CtgCURN |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
coctgcurn |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.131 |
| Información de edición |
23 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Platzer, André., |
| Término indicativo de función/relación |
autor. |
| Relación |
aut. |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Logical Foundations of Cyber-Physical Systems |
| Medio |
[electronic resource] / |
| Mención de responsabilidad, etc. |
by André Platzer. |
| 260 #4 - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Cham : : : |
| Nombre del editor, distribuidor, etc. |
Springer International Publishing : : : |
| -- |
Imprint: Springer,,, |
| Fecha de publicación, distribución, etc. |
2018. |
| 260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Fecha de publicación, distribución, etc. |
2018. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
XXXI, 639 p. 182 illus., 176 illus. in color. : |
| Otros detalles físicos |
online resource. |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
computador |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
recurso en línea |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
|---|
| Tipo de archivo |
text file |
| Formato de codificación |
PDF |
| Fuente |
rda |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. Nota |
Incluye referencias bibliográficas e índice. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
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. |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
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. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Ciencias de la computación. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Inteligencia artificial. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Lógica matemática y simbólica. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Seguridad en sistemas. |
| 650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Lógica matemática y lenguajes formales. |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Control, Robotica, Mecatrónica. |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Control de calidad, riesgo y seguridad. |
| 710 2# - ENTRADA AGREGADA--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
SpringerLink (Online service) |
| 773 0# - ASIENTO DE ITEM FUENTE |
|---|
| Título |
Springer eBooks |
| 852 ## - LOCALIZACIÓN |
|---|
| Ubicación |
MHC |
| Sublocalización o colección |
MHC |
| Ubicación en estantería |
CF |
| Parte de clasificación |
005.131 |
| Parte de ítem |
P719 |
| 856 7# - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recurso |
<a href="https://unicurn.sharepoint.com/:b:/s/biblioteca/EYxcN-y5JxVIuh57Z5JcHHgB8Jpe_835DHO9kE_K3sth8g?e=nZ7hZp">https://unicurn.sharepoint.com/:b:/s/biblioteca/EYxcN-y5JxVIuh57Z5JcHHgB8Jpe_835DHO9kE_K3sth8g?e=nZ7hZp</a> |
| Nota pública |
<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 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libros electrónicos |
| Parte de clasificación |
005.131 |
| Parte de ítem |
P719 |
| Fuente de la clasificación o esquema de estantería |
Clasificación Decimal Dewey |
| 960 ## - LOCALIZACIÓN FÍSICA (RLIN) |
|---|
| Localización física, PLOC (RLIN) |
a2850654 |
