2020/05/19 by Daniel Wagner, Didier Henrion, Wagner, Daniel +3
Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Systems and Control (eess.SY) #cs.SY #eess.SY #electronic engineering #information engineering #math.OC
paper · pdf · doi:10.48550/arxiv.2005.09313
arxiv created 2020/05/19 · openalex publication_date 2020/05/19 · arxiv updated 2020/05/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.