Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

Bolun Qi
Bolun Qi

IEEE Design & Test, pp. 31-38, 2018.

Cited by: 5|Bibtex|Views0|Links
EI WOS
Keywords:
Vehicle safetyAlgorithm design and analysisAnalytical modelsComputational modelingSensitivity analysisMore(3+)

Abstract:

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.

Code:

Data:

Your rating :
0

 

Tags
Comments