Measures and LMIs for Lateral F-16 MRAC Validation

Daniel Wagner,Didier Henrion,Martin Hromčík
DOI: https://doi.org/10.48550/arXiv.2003.11292
2020-03-25
Abstract:Occupation measures and linear matrix inequality (LMI) relax-ations (called the moment sums of squares or Lasserre hierarchy) are state-of-the-art methods for verification and validation (VV) in aerospace. In this document, we extend these results to a full F-16 closed-loop nonlinear dutch roll polynomial model complete with model reference adaptive control (MRAC). This is done through a new technique of approximating the reference trajectory by exploiting sparse ordinary differential equations (ODEs) with parsimony. The VV problem is then solved directly using moment LMI relaxations and off-the-shelf-software. The main results are then compared to their numerical counterparts obtained using traditional Monte-Carlo simulations.
Systems and Control,Optimization and Control
What problem does this paper attempt to address?