Safe, autonomous and intelligent vehicles - Li, Xin; Murray, Richard M.; Ramesh, S.; Tomlin, Claire J.; Yu, Huafeng; SpringerLink (Online service). (Cham Springer, 2019)
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.
Electronic reproduction.
Keywords: Electronic circuits; Image processing; Microprocessors; Signal processing; Speech processing systems; Electronic books