Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers

10 pages•Published: September 17, 2018

Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak

Abstract

Benchmark Proposal: The F-16 Fighting Falcon is a highly-maneuverable aircraft in production since the 1970s. Since then, several studies and books have investigated the aircraft’s performance and created simulation models. In this paper, we present some of these models as a verification challenge, providing MATLAB and Python code to simulate an F-16 performing ground collision avoidance as well as other autonomous maneuvers. The aircraft model and inner-loop controller has 16 continuous variables with piecewise nonlinear differential equations. Autonomous maneuvers are performed by an outer-loop controller using finite-state machines with guards involving the continuous variables. Pass- fail specifications are provided based on the aircraft flight limits and boundaries of the model. This model aims to be a starting point for analyzing detailed behaviors of aerospace systems.

Keyphrases: airplane, benchmark, f 16, hybrid automaton, nonlinear, odes, verification

In: Goran Frehse (editor). ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 54, pages 208-217.

Links:	https://easychair.org/publications/paper/W7Ck
	https://doi.org/10.29007/91x9

BibTeX entry

@inproceedings{ARCH18:Verification_Challenges_F_16,
  author    = {Peter Heidlauf and Alexander Collins and Michael Bolender and Stanley Bak},
  title     = {Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/W7Ck},
  doi       = {10.29007/91x9},
  pages     = {208-217},
  year      = {2018}}

Download PDF Open PDF in browser