Safe, Autonomous and Intelligent Vehicles

Introduction Chapter 1 Statistical Validation of In-Vehicle Machine Learning Systems Chapter 2 Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System Chapter 3 Control and Safety of Autonomous Vehicles with Learning-Enabled Components Chapter 4 AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems Chapter 5 Provably-correct control synthesis for vehicle safety systems Chapter 6 Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems Chapter 7 Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems Chapter 8 Model-based Software Synthesis for Safety-critical Cyber-Physical Systems Chapter 9 Compositional Verification for Autonomous Systems with Deep Learning Components Index