Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.
IEEE Design & Test（2018）
摘要
Analyzing the safety of automotive systems at the application level is -especially challenging as often very complex or even incomplete models are available. The authors combine formal reasoning with simulation data to effectively -validate safety or estimate worst case situations of automotive control systems.
更多查看译文
关键词
Vehicle safety,Algorithm design and analysis,Analytical models,Computational modeling,Sensitivity analysis,Mathematical model,Autonomous vehicles,Automotive engineering
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要