Detalles MARC
| 000 -LEADER |
|---|
| fixed length control field |
03620nam a2200421 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
co-ctgiumayor |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240712104821.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180730s2018 s 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319635880 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-3-319-63588-0 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
CO-CtgIUMC |
| Language of cataloging |
spa |
| Transcribing agency |
coctgiumc |
| Modifying agency |
rda |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| Item number |
P719 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Platzer, André., |
| Relator term |
autor. |
| Relationship |
aut. |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logical foundations of cyber-physical systems |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
by André Platzer. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : : |
| -- |
Imprint: Springer,, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2018 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
2018 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XXXI, 639 páginas. 182 illus., 176 illus. in color. : |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
texto |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computador |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
recurso en línea |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Incluye referencias bibliográficas e índice. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 ## - SUMMARY, ETC. |
|---|
| Summary, 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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Ciencias de la computación. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Inteligencia artificial. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Lógica matemática y simbólica. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Seguridad en sistemas. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Lógica matemática y lenguajes formales. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Control, Robotica, Mecatrónica. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Control de calidad, riesgo y seguridad. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1zBsi8Rcrqe-2A409-SpQ9z8gfCvv1Hox/view?usp=sharing">https://drive.google.com/file/d/1zBsi8Rcrqe-2A409-SpQ9z8gfCvv1Hox/view?usp=sharing</a> |
| Public note |
Dar click aqui para ver texto completo |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libros electrónicos |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
