Showing 1–2 of 2 results for author: Hromčík, M

Model Predictive Control of a Vehicle using Koopman Operator

Authors: Vít Cibulka, Milan Korda, Tomáš Haniš, Martin Hromčík

Abstract: This paper continues in the work from arXiv:1903.06103 [math.OC] where a nonlinear vehicle model was approximated in a purely data-driven manner by a linear predictor of higher order, namely the Koopman operator. The vehicle system typically features a lot of nonlinearities such as rigid-body dynamics, coordinate system transformations and most importantly the tire. These nonlinearities are approx… ▽ More This paper continues in the work from arXiv:1903.06103 [math.OC] where a nonlinear vehicle model was approximated in a purely data-driven manner by a linear predictor of higher order, namely the Koopman operator. The vehicle system typically features a lot of nonlinearities such as rigid-body dynamics, coordinate system transformations and most importantly the tire. These nonlinearities are approximated in a predefined subset of the state-space by the linear Koopman operator and used for a linear Model Predictive Control (MPC) design in the high-dimension state space where the nonlinear system dynamics evolve linearly. The result is a nonlinear MPC designed by linear methodologies. It is demonstrated that the Koopman-based controller is able to recover from a very unusual state of the vehicle where all the aforementioned nonlinearities are dominant. The controller is compared with a controller based on a classic local linearization and shortcomings of this approach are discussed. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Measures and LMIs for Lateral F-16 MRAC Validation

Authors: Daniel Wagner, Didier Henrion, Martin Hromčík

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 techn… ▽ More 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. △ Less

Submitted 25 March, 2020; originally announced March 2020.