| Título : |
Safe, Autonomous and Intelligent Vehicles |
| Tipo de documento: |
documento electrónico |
| Autores: |
Yu, Huafeng, ; Li, Xin, ; Murray, Richard M., ; Ramesh, S., ; Tomlin, Claire J., |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XIII, 204 p. 69 ilustraciones, 60 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-97301-2 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Circuitos electrónicos Procesamiento de la señal Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Procesamiento de señales voz e imágenes Arquitecturas de procesador |
| Índice Dewey: |
6.213.815 |
| Resumen: |
Este libro cubre la investigación y el desarrollo más avanzados para el área emergente de sistemas autónomos e inteligentes. En particular, los autores enfatizan las metodologías de diseño y validación para abordar los grandes desafíos relacionados con la seguridad. Este libro ofrece una visión holística de una amplia gama de aspectos técnicos (incluida la percepción, localización y navegación, control de movimiento, etc.) y dominios de aplicaciones (incluidos el automóvil, el aeroespacial, etc.), presenta importantes desafíos y analiza posibles soluciones. Proporciona una guía de fuente única sobre los desafíos prácticos en el diseño de sistemas autónomos e inteligentes; Analiza los principales desafíos relacionados con la seguridad de los sistemas autónomos e inteligentes de próxima generación, dada la creciente complejidad y las nuevas aplicaciones; Describe nuevas metodologías de diseño y validación para abordar cuestiones de seguridad; Incluye experiencia técnica para facilitar una mayor investigación y desarrollo. |
| Nota de contenido: |
Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Safe, Autonomous and Intelligent Vehicles [documento electrónico] / Yu, Huafeng, ; Li, Xin, ; Murray, Richard M., ; Ramesh, S., ; Tomlin, Claire J., . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 204 p. 69 ilustraciones, 60 ilustraciones en color. ISBN : 978-3-319-97301-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Circuitos electrónicos Procesamiento de la señal Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Procesamiento de señales voz e imágenes Arquitecturas de procesador |
| Índice Dewey: |
6.213.815 |
| Resumen: |
Este libro cubre la investigación y el desarrollo más avanzados para el área emergente de sistemas autónomos e inteligentes. En particular, los autores enfatizan las metodologías de diseño y validación para abordar los grandes desafíos relacionados con la seguridad. Este libro ofrece una visión holística de una amplia gama de aspectos técnicos (incluida la percepción, localización y navegación, control de movimiento, etc.) y dominios de aplicaciones (incluidos el automóvil, el aeroespacial, etc.), presenta importantes desafíos y analiza posibles soluciones. Proporciona una guía de fuente única sobre los desafíos prácticos en el diseño de sistemas autónomos e inteligentes; Analiza los principales desafíos relacionados con la seguridad de los sistemas autónomos e inteligentes de próxima generación, dada la creciente complejidad y las nuevas aplicaciones; Describe nuevas metodologías de diseño y validación para abordar cuestiones de seguridad; Incluye experiencia técnica para facilitar una mayor investigación y desarrollo. |
| Nota de contenido: |
Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsquedaSafe, Autonomous and Intelligent Vehicles / Yu, Huafeng ; Li, Xin ; Murray, Richard M. ; Ramesh, S. ; Tomlin, Claire J.
