Literature by the same author
plus at Google Scholar

Bibliografische Daten exportieren
 

Verification of Collision Avoidance Systems using Optimal Control and Sensitivity Analysis

Title data

Xausa, Ilaria:
Verification of Collision Avoidance Systems using Optimal Control and Sensitivity Analysis.
Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München , 2015 . - viii+216 p.
( Doctoral thesis, 2015 , Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik)

Official URL: Volltext

Project information

Project title:
Project's official title
Project's id
Marie-Curie Initial Training Network "Sensitivity Analysis for Deterministic Controller Design" (SADCO)
264735-SADCO

Project financing: 7. Forschungsrahmenprogramm für Forschung, technologische Entwicklung und Demonstration der Europäischen Union

Abstract in another language

Die Analyse von Verkehrsszenarien auf mögliche Konfliktsituationen ist wegen der hohen Komplexität solcher Szenarien äußerst herausfordernd. Insbesondere sollten gewisse Sicherheits- und Leistungsanforderungen garantiert werden. In dieser Dissertation werden das komplexe Umfeld und die Sicherheitsanforderungen als Niveaumengen einer Lipschitz-Funktion respektive als Durchschnitt von Niveaumengen glatter Funktionen definiert. Die Leistungsanforderungen werden durch Minimierung einer Kostenfunktion erreicht. Somit kann das Problem als Problem der optimalen Steuerung formuliert werden. Dies erlaubt uns, eine weite Bandbreite an Straßengeometrien, polygonalen Hindernissen und Fahrzeugdynamiken zu analysieren. Sobald das Optimalsteuerungsproblem formalisiert wurde, können numerische Simulationen durch direkte Methoden (mit OCPID-DAE1 Software) oder Hamilton-Jacobi-Methoden (mit ROC-HJ-Software) erhalten werden. Ausweichmanöver, die Menge erreichbarer Punkte und die Menge der Anfangszustände, von welchen eine Kollision verhindert werden kann, können für Fahrzeugdynamiken mit bis zu sieben Zustandsvariablen berechnet werden.

Eine Sensitivitätsanalyse wird dann durchgeführt, um die Robustheit der Trajektorien und der Menge erreichbarer Punkte zu überprüfen. Ein erster Aspekt, bereits eingehend behandelt in der Fachliteratur, konzentriert sich auf die Berechnung einer Echtzeit-Näherung von Ausweichmanövern und der Menge erreichbarer Punkte unter Verwendung einer gegebenen Referenztrajektorie. Ein zweiter Aspekt versucht, die Effekte von Messfehlern auf Rechenergebnisse vorherzusagen und damit die Robustheit gegen Störungen in den Anfangswerten zu überprüfen. Ein dritter Aspekt ist durch das Bedürfnis von Sensorentwicklern inspiriert, die Genauigkeitsanforderungen von Sensoren zu ermitteln. Zu diesem Zweck nähert man den maximal zulässigen Sensorfehler, der es noch ermöglicht, Sicherheit zu garantieren.

Gemäß diesen Schritten wird ein Simulationsrahmen zur Überprüfung bestehender Kollisionsvermeidungsalgorithmen vorgeschlagen. Beispiele für Prüfungsverfahren werden implementiert und erfolgreich auf Kollisionsvermeidung durch Brems-und Lenkalgorithmen getestet.

Abstract in another language

The mathematical definition of a car traffic scenario, where a conflict situation may occur, is a challenging topic in collision avoidance due to the complexity of the scenario which must satisfy safety and performance requirements. In this thesis, the complex environment and the safety requirements are simply defined as level sets of some Lipschitz function or as intersections of level sets of smooth functions. The performance criteria are then achieved by minimizing a cost function, referencing the structure of an optimal control problem. This allows to deal with a variety of road geometries, considering a significative number of polygonal obstacles and several choices of vehicle motion models. Once the optimal control problem has been formalized, the numerical simulations are obtained via direct methods (with OCPID-DAE1 software), or Hamilton-Jacobi methods (with ROC-HJ software). Avoidance trajectories, sets of reachable points and sets of initial points from which it is possible to avoid a collision are computed for vehicle dynamics with a number of states up to seven.

Sensitivity analysis is then implemented to verify robustness of trajectories and reachable sets, in a triple challenge. A first aspect, well known in literature, focuses on the computation of real-time approximation of avoidance trajectories and reachable sets using a given reference trajectory. A second novel aspect aims to predict measurement error effects on the computational results, verifying robustness with respect to perturbations in the initial data. A third novel aspect is inspired by the necessity for sensor developers to understand how precise must be a sensor. To this purpose the estimation of the maximum sensor error for a given trajectory is derived, preserving safety.

Through these steps a simulation framework to verify existing collision avoidance algorithms is proposed. Examples of verification procedures are implemented and successfully tested on collision avoidance by braking and steering algorithms.

Results, opinions and conclusions of this dissertation are not necessarily the ones of Volkswagen AG.

Further data

Item Type: Doctoral thesis
Additional notes: I. Introduction
1. Advanced safety and driver assistance systems
1.1 Safety and driver assistance systems in automotive industry
1.2 Collision avoidance algorithms
1.3 Requirements for collision avoidance systems
2. Verification of collision avoidance systems
2.1 Related work
2.2 Contribution of this thesis
3. Outline
II. Modelization
1. Reference vehicle model
1.1 The single track “7D” model and the “6D” model
1.2 The “4D” point mass model
1.3 The kinematic single track model “3D” or “5D”
1.4 Conclusions
2. Car traffic scenarios and modeling of constraints
2.1 Target
2.2 Road configurations
2.3 Obstacles geometry and motion
2.4 Vehicle and corresponding level set functions
3. Definition of objectives used in collision avoidance systems
4. Errors in data detection by sensors
III. Theoretical Background
1. Optimal Control Theory
2. Numerical methods
2.1 Direct methods
2.2 Hamilton Jacobi approach
IV. Computational Results
1. A direct methods software
1.1 Case study: straight road with a fixed circular obstacle
1.2 Comparison with other car models
1.3 Optimal trajectories for a curve scenario
2. A software for solving the Hamilton-Jacobi equation
2.1 Case study: straight road with a fixed rectangular obstacle
2.2 Examples for more complex scenarios
3. Sensitivity analysis modeling errors in initial data detection
3.1 Sensitivity in optimal trajectories
3.2 Sensitivity in trajectory funnels and reachable sets
3.3 Radius estimation
V. Verification Tool
1. The Virtual Test Maker Software
2. Collision avoidance by braking algorithms
2.1 Last point to brake and last point to steer
2.2 Reachable set for each warning level
2.3 Optimal trajectory for each warning level
3. Collision avoidance by braking and steering algorithms
3.1 Sensitivity study
3.2 Comparison with backward reachable set
VI. Future Directions
1. Real time implementation of collision avoidance trajectories
2. Stochastic approach
3. Game theory approach
3.1 Models
3.2 Differential game
Bibliography
Keywords: driver assistance system; collision avoidance; optimal control; sensitivity analysis
Institutions of the University: Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Mathematics > Chair Mathematics V (Applied Mathematics)
Profile Fields > Advanced Fields > Nonlinear Dynamics
Faculties
Faculties > Faculty of Mathematics, Physics und Computer Science
Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Mathematics
Profile Fields
Profile Fields > Advanced Fields
Result of work at the UBT: No
DDC Subjects: 500 Science > 510 Mathematics
600 Technology, medicine, applied sciences > 620 Engineering
Date Deposited: 11 Mar 2016 10:26
Last Modified: 27 Sep 2018 06:03
URI: https://eref.uni-bayreuth.de/id/eprint/31705