Measures and LMIs for Lateral F-16 MRAC Validation
Systems and Control
2020-03-26 v1 Systems and Control
Optimization and Control
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.
Cite
@article{arxiv.2003.11292,
title = {Measures and LMIs for Lateral F-16 MRAC Validation},
author = {Daniel Wagner and Didier Henrion and Martin Hromčík},
journal= {arXiv preprint arXiv:2003.11292},
year = {2020}
}