Verification of Collision Avoidance Systems using Reachability Analysis
Paper in proceeding, 2014

This paper presents a method for formal verification of automotive collision avoidance systems. Using viability theory and reachability analysis, we define when the system should intervene, i.e. the unsafe set, and when the system should not intervene, i.e. the safe set. Given these sets, we formulate the problem of verifying that a given system does not make incorrect decisions as an optimization problem. The method is demonstrated on a collision avoidance system example and, given the models used and absence of measurements errors, we show that the system does not make incorrect decisions. Furthermore, we describe and demonstrate how to evaluate the robustness to measurement errors, using the proposed framework.

Author

Jonas Nilsson

Chalmers, Signals and Systems, Systems and control

Jonas Fredriksson

Chalmers, Signals and Systems, Systems and control

Anders Ödblom

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 19 10676-10681
978-390282362-5 (ISBN)

Areas of Advance

Transport

Subject Categories

Control Engineering

DOI

10.3182/20140824-6-za-1003.01567

ISBN

978-390282362-5

More information

Latest update

8/8/2023 6