Measures and LMIs for Adaptive Control Validation
Systems and Control
2020-05-20 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) have been used previously as a means for solving control law verification and validation (VV) problems. However, these methods have been restricted to relatively simple control laws and a limited number of states. In this document, we extend these methods to model reference adaptive control (MRAC) configurations typical of the aircraft industry. The main contribution is a validation scheme that exploits the specific nonlinearities and structure of MRAC. A nonlinear F-16 plant is used for illustration. LMI relaxations solved by off-the-shelf-software are compared to traditional Monte-Carlo simulations.
Cite
@article{arxiv.2005.09313,
title = {Measures and LMIs for Adaptive Control Validation},
author = {Daniel Wagner and Didier Henrion and Martin Hrom{č}ík},
journal= {arXiv preprint arXiv:2005.09313},
year = {2020}
}