Download PDFOpen PDF in browser

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

10 pagesPublished: September 17, 2018

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:
BibTeX entry
@inproceedings{ARCH18:Verification_Challenges_in_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},
  pages     = {208--217},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/W7Ck},
  doi       = {10.29007/91x9}}
Download PDFOpen PDF in browser