Model-Based Synthesis and Safety Assurance of Intelligent Controllers for Autonomous Vehicles

点击翻译按钮获取中文摘要

Vehicles with limited self-driving capabilities are already on the market and some car makers have promised products capable of autonomous driving in an urban setting in 2020. Self-driving cars will eventually completely transform the automotive industry, replacing private car ownership by service-based products such as robotic cabs. The deployment of large-scale self-driving vehicle fleets will reduce the number of crashes and crash severity, reduce emissions, allow commuters to use their time more effectively, and free up spaces occupied by parked cars. While current self-driving technologies have improved immensely in recent years, a major challenge is assuring safe and appropriate operation of an autonomous vehicle in all traffic situations and all road conditions. New design methods and tools are needed to address this challenge.