|
|
 |
|
Formal Methods Seminar by Jean-Baptiste Jeannin |
|
Date: June 15, 2007
Time: 10:30am
Location: NIA, Rm 137
Additional Information: Presentation (.pdf)
Uncertainty Bounds for Geometrical Conflict Detection and Resolution
Jean-Baptiste Jeannin, Ecole Polytechnique, France
We are studying conflict detection and resolution algorithms in order to separate aircrafts in the airspace. The analysis and proofs which have already been done on these algorithms in the past always consider that there is no error in measuring the aircrafts' positions and speeds. In this talk we will take into account these errors and determine conditions under which we can still trust these algorithms.
|
|
|
Home