Safe, Autonomous and Intelligent Vehicles

✍ Scribed by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin

Publisher: Springer International Publishing
Year: 2019
Tongue: English
Leaves: 215
Series: Unmanned System Technologies
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter ....Pages i-xiii
Introduction (Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin)....Pages 1-4
Efficient Statistical Validation of Autonomous Driving Systems (Handi Yu, Weijing Shi, Mohamed Baker Alawieh, Changhao Yan, Xuan Zeng, Xin Li et al.)....Pages 5-32
Cyberattack-Resilient Hybrid Controller Design with Application to UAS (Cheolhyeon Kwon, Inseok Hwang)....Pages 33-56
Control and Safety of Autonomous Vehicles with Learning-Enabled Components (Somil Bansal, Claire J. Tomlin)....Pages 57-75
Adaptive Stress Testing of Safety-Critical Systems (Ritchie Lee, Ole J. Mengshoel, Mykel J. Kochenderfer)....Pages 77-95
Provably-Correct Compositional Synthesis of Vehicle Safety Systems (Petter Nilsson, Necmiye Ozay)....Pages 97-122
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems (Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson)....Pages 123-144
Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems (M. L. Cummings)....Pages 145-162
Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems (Bowen Zheng, Hengyi Liang, Zhilu Wang, Qi Zhu)....Pages 163-186
Compositional Verification for Autonomous Systems with Deep Learning Components (Corina S. Păsăreanu, Divya Gopinath, Huafeng Yu)....Pages 187-197
Back Matter ....Pages 199-204

✦ Subjects

Engineering; Circuits and Systems; Signal, Image and Speech Processing; Processor Architectures

📜 SIMILAR VOLUMES

Product Development within Artificial In

📁 Product Development within Artificial Intelligence, Ethics and Legal Risk: Exemplary for Safe Autonomous Vehicles

✍ Thomas Winkle 📂 Library 📅 2022 🏛 Springer Vieweg 🌐 English

This open-access-book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge of Artificial Intelligence and limits of image recognition. The study bases on technical, ethical, and legal requirements with examples concerning au

Autonomous Intelligent Vehicles: Theory,

📁 Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation

✍ Hong Cheng (auth.) 📂 Library 📅 2011 🏛 Springer-Verlag London 🌐 English

Autonomous intelligent vehicles pose unique challenges in robotics, that encompass issues of environment perception and modeling, localization and map building, path planning and decision-making, and motion control.This important text/reference presents state-of-the-art research on inte

Autonomous Intelligent Vehicles: Theory,

📁 Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation

✍ Hong Cheng (auth.) 📂 Library 📅 2011 🏛 Springer-Verlag London 🌐 English

Autonomous Intelligent Vehicles: Theory,

📁 Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation

✍ Hong Cheng (auth.) 📂 Library 📅 2011 🏛 Springer-Verlag London 🌐 English

Autonomous Intelligent Vehicles: Theory,

📁 Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation

✍ Hong Cheng (auth.) 📂 Library 📅 2011 🏛 Springer-Verlag London 🌐 English

Autonomous Intelligent Vehicles Theory,

📁 Autonomous Intelligent Vehicles Theory, Algorithms, and Implementation

✍ Cheng, Hong 📂 Library 📅 2011 🏛 Springer London 🌐 English

Autonomous intelligent vehicles pose unique challenges in robotics, that encompass issues of environment perception and modeling, localization and map building, path planning and decision-making, and motion control. This important text/reference presents state-of-the-art research on intel