Verification of Collision Avoidance Systems using Reachability Analysis
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
Authors : Jonas Nilsson, Jonas Fredriksson, Anders Ödblom
Year : 2014
Published in : Proceedings of IFAC World Congress, 19, pp. 10676-10681, August 2014, Cape Town