Lecture Notes in Computer Science, 2002, Volume 2289/2002, 90-104, DOI: 10.1007/3-540-45873-5_10

Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques

Alexandre M. Bayen, Eva Crück and Claire J. Tomlin

View Related Documents

Abstract

We show how reachable sets of constrained continuous and simple hybrid systems may be computed using the minimum time-toreach function. We present an algorithm for computing a discrete approximation to the minimum time-to-reach function, which we prove to be a converging underapproximation to the actual function. We use the discrete minimum time-to-reach function for simple hybrid systems to compute overapproximations of unsafe zones for aircraft in a sector of the Oakland Air Trafic Control Center, leading to the automatic generation of conflict-free aircraft maneuvers.
Research supported by DARPA under the Software Enabled Control Program (AFRL contract F33615-99-C-3014), by NASA under Grant NCC 2-5422, and by two Graduate Fellowships of the Délégation Générale pour l’Armement (France).

Fulltext Preview

Image of the first page of the fulltext document