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
• 财政年份: 2018
• 资助国家: 加拿大
• 起止时间: 2018-01-01 至 2019-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=648469
• 关键词: 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亿加元的健康成本，并失去生产力。高盛（Goldman Sachs）预测，早在2025年，无人驾驶的技术市场将达到960亿美元。拟议的研究计划将当前的主要障碍目标定为更广泛的自动驾驶汽车的采用：（1）交通中的智能决策，将无人驾驶和人为驱动的汽车与无人驾驶和人类驱动的汽车混合在一起其他参与者，例如骑自行车的人和行人，以及（2）此类系统的安全保证。该计划将在无人驾驶技术中产生尖端的研究结果，建立开放测试和模拟基准，以刺激科学和技术进步，创建可商业化的技术，并在未来五年内培训13个HQP，用于自动驾驶的系统和软件工程。在自动驾驶汽车上的动手经验将使这些HQP在就业市场上具有重要的竞争优势。汽车行业是加拿大制造GDP的最大贡献者。无人驾驶技术的加拿大创新和HQP培训将有助于维持加拿大在汽车领域的世界领导者的角色。