Safe, Autonomous and Intelligent Vehicles (Hardcover)

Safe, Autonomous and Intelligent Vehicles Cover Image
By Huafeng Yu (Editor), Xin Li (Editor), Richard M. Murray (Editor)
Available to SHIP now; Store PICKUP in 7-10 days


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

Product Details
ISBN: 9783319973005
ISBN-10: 3319973002
Publisher: Springer
Publication Date: November 22nd, 2018
Pages: 204
Language: English