Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


4D trajectory management: Reachability theory formulation and target window implementation


K. Margellos, J. Lygeros

The 2nd Workshop on Formal Methods for Aerospace (FMA@CDC'2010), Atlanta, Georgia, USA

4D trajectory management is widely regarded as the basis for the next generation air traffic management systems envisioned by SESAR and NextGen. We discuss how timing requirements inherent in 4D trajectory management can be formulated in the context of reachability theory. We outline methods and computational tools from reachability theory and highlight how they can be adapted to characterize the maneuvering freedom afforded by timing requirements. We also demonstrate how reachability tools can be used to perform conflict resolution while respecting 4D trajectory constraints whenever possible. The discussion is framed in the context of the so-called target windows, a framework that can serve a possible implementation of 4D trajectory management currently under investigation by the CATS project.


Type of Publication:


No Files for download available.
% No recipe for automatically generating a BibTex entry for (06)Talk
Permanent link