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

自动驾驶汽车智能控制器的基于模型的综合和安全保证

• 批准号: RGPIN-2017-04733
• 负责人: Czarnecki, Krzysztof
• 金额: $ 3.06万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=711180
• 关键词: Model; Based; Synthesis; Safety; Assurance

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. This Discovery grant will fund a cutting-edge research program to create new methods and tools for the development of safe and intelligent computer-based controls for self-driving cars. The expected results include (1) a controller design and associated machine-learning methods to enable controllers capable of intelligent decision making and human-like driving skills and (2) methods for safety assurance of systems that rely on machine learning. The program will use the Waterloo Autonomous Driving Testbed, a drive-by-wire Lincoln MKZ with an integrated sensor suite, and take advantage of Ontario's new Automated Vehicle Pilot Program to demonstrate and evaluate the new technology on public roads. Self-driving cars will have a major impact on our society and economy over the coming decades. It is expected that self-driving cars can reduce accident rates by as much as 80%. In Canada, this would save 1,600 lives a year and over $55 billion in health costs and lost productivity. Goldman Sachs predicts a driverless technology market of $96 billion as early as 2025. The proposed research program targets current major roadblocks to a wider adoption of self-driving cars: (1) intelligent decision making in traffic that mixes driverless and human-driven cars with other participants such as cyclists and pedestrians and (2) safety assurance of such systems. The program will generate cutting-edge research results in driverless technology, establish an open test and simulation benchmark to stimulate scientific and technological progress, create commercializable technology, and train thirteen HQP in systems and software engineering for autonomous driving over the next five years. Hands-on experience on a self-driving car will give these HQP a significant competitive advantage on the job market. The automotive sector is the single biggest contributor to Canada's manufacturing GDP. Canadian innovation and HQP training in driverless technology will contribute to maintaining Canada's role as a world leader in the automotive sector.

自动驾驶功能有限的汽车已经上市，一些汽车制造商已经承诺在2020年推出能够在城市环境中自动驾驶的产品。自动驾驶汽车最终将彻底改变汽车行业，用机器人出租车等服务型产品取代私家车。大规模自动驾驶车队的部署将减少碰撞次数和碰撞严重程度，减少排放，让通勤者更有效地利用时间，并释放停放汽车占用的空间。虽然近年来自动驾驶技术有了很大的改进，但一个主要的挑战是确保自动驾驶汽车在所有交通情况和所有道路条件下的安全和适当操作。需要新的设计方法和工具来应对这一挑战。 这项发现补助金将资助一项尖端研究计划，为自动驾驶汽车的安全和智能计算机控制开发新的方法和工具。预期的结果包括：（1）控制器设计和相关的机器学习方法，使控制器能够进行智能决策和类似人类的驾驶技能，以及（2）依赖机器学习的系统安全保证方法。该计划将使用滑铁卢自动驾驶测试台，一辆带有集成传感器套件的线控林肯MKZ，并利用安大略新的自动驾驶汽车试点计划，在公共道路上展示和评估新技术。 自动驾驶汽车将在未来几十年对我们的社会和经济产生重大影响。预计自动驾驶汽车可以将事故率降低80%。在加拿大，这将每年挽救1 600人的生命，节省超过550亿美元的医疗费用和生产力损失。高盛预测，最早到2025年，无人驾驶技术市场规模将达到960亿美元。拟议的研究计划针对目前更广泛采用自动驾驶汽车的主要障碍：（1）在交通中的智能决策，将无人驾驶和人类驾驶的汽车与骑自行车者和行人等其他参与者混合在一起，以及（2）此类系统的安全保证。该计划将产生无人驾驶技术的前沿研究成果，建立一个开放的测试和模拟基准，以刺激科学和技术进步，创造可商业化的技术，并在未来五年内为自动驾驶系统和软件工程培训13名HQP。自动驾驶汽车的实践经验将使这些HQP在就业市场上具有显著的竞争优势。汽车行业是加拿大制造业GDP的最大贡献者。加拿大在无人驾驶技术方面的创新和HQP培训将有助于保持加拿大在汽车行业的世界领导者地位。