MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
03493nam a22004455i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
330792 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230102114616.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
a||||fo|||| 00| 0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr nn nnnaamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
210120s2021 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783030651107 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
10.1007/978-3-030-65110-7 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
ES-MaUEC |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
ES-MaUEC |
| Normas de descripción |
rda |
| Centro/agencia modificador |
ES-MaUEC |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
TJ213 |
| Número de documento/Ítem |
2021 EB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Meyer, Pierre-Jean |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
678148 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Interval Reachability Analysis |
| Resto del título |
Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification |
| Mención de responsabilidad, etc. |
by Pierre-Jean Meyer, Alex Devonport, Murat Arcak. |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
First edition 2021 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Cham |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Pulishing |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2021 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 recurso en línea (X, 112 páginas) |
| Otras características físicas |
21 ilustraciones, 18 ilustraciones a color |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
Texto |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
|---|
| Tipo de archivo |
text file |
| Formato de codificación |
PDF |
| Fuente |
|
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
SpringerBriefs in Control Automation and Robotics |
| Número Internacional Normalizado para Publicaciones Seriadas |
2192-6786 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Intelligent Technologies and Robotics (SpringerNature-42732) |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Intelligent Technologies and Robotics (R0) (SpringerNature-43728) |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Chapter 1. Introduction -- Part 1: Reachability Methods -- Chapter 2. Interval Analysis -- Chapter 3. Monotonicity -- Chapter 4. Mixed-Monotonicity -- Chapter 5. Sampled-Data Mixed-Monotonicity -- Chapter 6. Growth Bounds -- Chapter 7. Sampling-Based Methods -- Part 2: Applications -- Chapter 8. Safety and Reachability Verification -- Chapter 9. Interval Volume as a Robustness Measure -- Chapter 10. Abstraction-Based Control Synthesis. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or 'boxes'. It explains the importance of bounding trajectories for evaluating the robustness of systems in the face of parametric uncertainty, and for verification or control synthesis problems with respect to safety and reachability properties. The methods presented make use of: interval analysis; monotonicity theory; contraction theory; and data-driven techniques that sample trajectories. The methods are implemented in an accompanying open-source Toolbox for Interval Reachability Analysis. This brief provides a tutorial description of each method, focusing on the requirements and trade-offs relevant to the user, requiring only basic background on dynamical systems. The second part of the brief describes applications of interval reachability analysis. This makes the brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification. |
| 988 ## - NOTA LOCAL 598 |
|---|
| Nota local 598 (boletines) |
Springer_Robotics_2021 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
embne |
| Término de materia o nombre geográfico como elemento de entrada |
Control automático |
| 9 (RLIN) |
405125 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
496877 |
| Término de materia o nombre geográfico como elemento de entrada |
Mecatrónica |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Devonport, Alex |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
678149 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Arcak, Murat |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
48588 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030651091 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030651114 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-65110-7 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
|---|
| -- |
1 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |
| Suprimir en OPAC |
No |
| 998 ## - DATOS ESTADÍSTICOS |
|---|
| Fecha de catalogación |
04/2021 |
| Tipo de materia |
E-book |
| Catalogador |
Irene González |
| Catalogado |
Sí |