Provably Safe Optimization of Arrival Flows Into Terminal Airspace

Reference. Provably Safe Optimization of Arrival Flows Into Terminal Airspace

Serra Dane, Kuang Sun, Adrian A. Nomi, Yuwei Hu, Eric Boccaccio, Joshua H. Glottmann, Jean-Baptiste Jeannin, Max Z. Li · AIAA AVIATION 2026 Forum · 2026 · dynamical-systems · DOI

Cite

Cite as @dane-2026-provably (helia, typst) · \cite{dane-2026-provably} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{dane-2026-provably, title={Provably Safe Optimization of Arrival Flows Into Terminal Airspace}, url={http://dx.doi.org/10.2514/6.2026-4289}, DOI={10.2514/6.2026-4289}, booktitle={AIAA AVIATION 2026 Forum}, publisher={American Institute of Aeronautics and Astronautics}, author={Dane, Serra Z. and Sun, Kuang and Nomi, Adrian A. and Hu, Yuwei and Boccaccio, Eric and Glottmann, Joshua H. and Jeannin, Jean-Baptiste and Li, Max Z.}, year={2026}, month=June }

hayagriva YAML (typst)

yaml · 19 lines

dane-2026-provably:
  type: article
  title: Provably Safe Optimization of Arrival Flows Into Terminal Airspace
  author:
  - Dane, Serra
  - Sun, Kuang
  - Nomi, Adrian A.
  - Hu, Yuwei
  - Boccaccio, Eric
  - Glottmann, Joshua H.
  - Jeannin, Jean-Baptiste
  - Li, Max Z.
  date: 2026-06
  serial-number:
    doi: 10.2514/6.2026-4289
  parent:
    type: proceedings
    title: AIAA AVIATION 2026 Forum
    publisher: American Institute of Aeronautics, Astronautics

Download: dane-2026-provably.bib · dane-2026-provably.yml

Cites 30 works (3 here)

With notes (3)

Automatic Certification of the Active Corner Method for Collision Avoidance kheterpal-2026-automaticNFM · 2026

DOI

Automating Geometric Proofs of Collision Avoidance with Active Corners kheterpal-2022-automatingFMCAD · 2022

Avoiding collisions between obstacles and vehicles such as cars, robots or aircraft is essential to the development of automation and autonomy. To simplify the problem, many collision avoidance algorithms and proofs consider vehicles to be a point mass, though the actual vehicles are not points. In this paper, we consider a convex polygonal vehicle with nonzero area traveling along a 2-dimensional trajectory. We derive an easily-checkable, quantifier-free formula to check whether a given obstacle will collide with the vehicle moving on the planned trajectory. We apply our method to two case studies of aircraft collision avoidance and study its performance.

DOI · arXiv

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016

DOI

External (27)

Air Traffic By The Numbers (2025)
On-Time Performance - Reporting Operating Carrier Flight Delays at a Glance (2025)
Flight Efficiency - the Group Rerouting Tool Guidelines (GRRT) (2025)
Alternate Route Availability Tool (ARAT) (2025)
N-Flight Planning (2025)
LIDO Flight Planning Solutions (2025)
Aircraft Performance Program (APP) Software (2025)
Piano: Aero Aircraft Performance and Design Software (2025)
NASA Sherlock Open Data Portal (2025)
SkyVector Aeronautical Charts (2025)
Iowa Environmental Mesonet (2025)
SMARTROUTES (Nexteon Technologies) (2025)
Dynamo3 (Universitat Politècnica) (2025)
Terminal Procedures (FAA) (2025)
Navigraph (charts service) (2025)
Gurobi Optimizer Reference Manual (2024)
OpenAP: An Open-Source Aircraft Performance Model for Air Transportation Studies and Simulations (2020)
(Rosenow et al., Int. J. Astronautics and Aeronautical Engineering 5(2), 2020 - title not in deposit) (2020)
Pysteps: an open-source Python library for probabilistic precipitation nowcasting (v1.0) (2019)
Base of Aircraft Data (BADA): Aircraft Performance Model (2019)
Optimizing the Next Generation Collision Avoidance System for Safe, Suitable, and Acceptable Operational Performance (2013)
(Kochenderfer et al., Lincoln Laboratory Journal, 2012 - title not in deposit) (2012)
Introduction to TCAS II: Version 7.1 (2011)
(Rubnich et al., DASC 2011, p. A2 - title not in deposit) (2011)
(Lindholm, Tech. rep., 2010 - title not in deposit) (2010)
A Brief Overview of PVS (2008)
GAME Aircraft Performance Model Description (Tech. Rep. COE-TP-02002) (2002)