Abstract | ||
---|---|---|
Occupation measures and linear matrix inequality (LMI) relaxations (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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.23919/ACC45564.2020.9147855 | 2020 AMERICAN CONTROL CONFERENCE (ACC) |
DocType | ISSN | Citations |
Conference | 0743-1619 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Wagner | 1 | 156 | 11.44 |
Didier Henrion | 2 | 987 | 88.48 |
Hromčík Martin | 3 | 0 | 0.34 |