Traffic-Rule-Aware Reachability Analysis for Motion Planning of Automated Vehicles
Traffic-Rule-Aware Reachability Analysis for Motion Planning of Automated Vehicles
批准号:
513192618
负责人:
Professor Dr.-Ing. Matthias Althoff
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
--
资助国家:
德国
项目状态:
未结题
起止时间:
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Despite the importance of respecting traffic rules, most previous works on motion planning for autonomous vehicles ignore traffic rules or are not able to consider most of them. One of the reasons is that most traffic rules cannot be directly formulated as constraints for a motion planner. Exceptions exist, such as keeping the speed limit, but complicated rules require the formalization as temporal logic formulas. So far, there is no approach that can exactly or approximately rewrite temporal logic formulas as constraints so that they can be directly used in optimization-based motion planning algorithms. Our proposal addresses exactly this open research problem. We will develop novel methods to rewrite temporal logic formulas so that they can be efficiently used in motion planners. Furthermore, we will develop for the first time methods to compute reachable sets that consider traffic rules. This will enable us to develop essentially new methods for the co-design of reachability analysis and motion planning considering traffic rules. We expect that with our novel approach, traffic-rule-compliant motion plans will be obtained the faster, the more critical the situation is. In addition, we will automatically ignore less important traffic rules in order to ensure the compliance with more important rules in critical situations. We will demonstrate our approach not only in simulation, but also with our new research vehicle EDGAR, which has been partially financed by a DFG Major Research Instrumentation grant .
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formalization and Analysis of Traffic Rules
-
批准号:397785447
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2018
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments (CoInCiDE)
-
批准号:273142721
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2015
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Analysis und Synthesis of Robustly Controlled Smart-Grid-Systems
-
批准号:252340183
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2014
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Co-design of Reachability Analysis and Trajectory Planning for Collision Avoidance Systems
-
批准号:252614982
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2014
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Automatic Test-Case Generation for Autonomous Vehicles
-
批准号:509824862
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Formal Verification of Analog AI Hardware (FAI)
-
批准号:286525601
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Safe-Guarding Artificial Intelligence in Power Systems
-
批准号:458030766
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Data-driven process modeling in stamping technology
-
批准号:520459543
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
Scalable Controller Synthesis with Formal Guarantees
-
批准号:511538378
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Matthias Althoff
-
依托单位:
海外基金