Stochastic reachability for discrete time systems: an application to aircraft collision avoidance

Author

Watkins, Oliver ; Lygeros, John

Author_Institution

Dept. of Eng., Cambridge Univ., UK

Volume

5

fYear

2003

fDate

9-12 Dec. 2003

Firstpage

5314

Abstract

Methods of approximating reachability probabilities and their possible application to the problem of conflict detection in air traffic control are presented. A general description of stochastic reachability for discrete time systems and an analytical formulation for their solution is given. We then outline the problem of separation assurance in air traffic control and the role of conflict detection within this. A randomized conflict detection algorithm is described in detail and its performance is compared with another conflict detection algorithm.

Keywords

air traffic control; aircraft control; collision avoidance; discrete time systems; probability; reachability analysis; stochastic processes; air traffic control; aircraft collision avoidance; discrete time systems; randomized conflict detection algorithm; reachability probabilities; stochastic reachability; Aircraft; Collision avoidance; Detection algorithms; Discrete time systems; Equations; Particle measurements; Probability; Stochastic processes; Stochastic systems; Trajectory;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2003. Proceedings. 42nd IEEE Conference on

ISSN

0191-2216

Print_ISBN

0-7803-7924-1

Type

conf

DOI

10.1109/CDC.2003.1272482

Filename

1272482