Safe, Autonomous and Intelligent Vehicles

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.

Huafeng Yu is a senior researcher with Boeing Research & Technology. He is currently working on Safety, Assurance and Certification for Unmanned Aircraft Systems and Self-Driving Vehicles, and is the technical lead for AI safety and assurance in The Boeing Company. Huafeng's main research interests include formal methods, safety assurance, artificial intelligence, machine learning, model-based engineering, and cyber security. Prior to joining Boeing, he has been working in TOYOTA, ALTRAN, INRIA, Gemplus, and Panasonic. He has experience of more than 15 years on safety research and development in the domains of automobile and aerospace.

 Huafeng is currently a member of IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS) and chair of its industry outreach subcommittee. He has been a member of SAE standard committee for AADL. Huafeng serves as associate editor of IET Journal on Cyber-Physical Systems, guest editor of IEEE Transaction onSustainable Computing and ACM Transactions on Cyber-Physical Systems. He has served on Program Committees of DAC, DATE, ICCAD, SAC, ICPS, DASC, SmartWorld, ARCH, SLIP, WICSA and CompArch, and AVICPS. Huafeng received his PhD from INRIA and University of Lille 1 (France, 2008) and Master from University Joseph Fourier (France, 2005), both in Computer Science.



Xin Li received the Ph.D. degree in Electrical and Computer Engineering from Carnegie Mellon University, Pittsburgh, PA in 2005, and the M.S. and B.S. degrees in Electronics Engineering from Fudan University, Shanghai, China in 2001 and 1998, respectively. He is currently a Professor in the Department of Electrical and Computer Engineering at Duke University, Durham, NC, and is leading the Institute of Applied Physical Sciences and Engineering (iAPSE) at Duke Kunshan University, Kunshan, Jiangsu, China. In 2005, he co-founded Xigmix Inc. to commercialize his PhD research, and served as the Chief Technical Officer