Safe, Autonomous and Intelligent Vehicles / Yu, Huafeng ; Li, Xin ; Murray, Richard M. ; Ramesh, S. ; Tomlin, Claire J.  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200