4 papers
Model Predictive Control of a Vehicle using Koopman Operator
Vít Cibulka, Milan Korda, Tomáš Haniš +1
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 ord…
Measures and LMIs for Adaptive Control Validation
Daniel Wagner, Didier Henrion, Martin Hrom{č}ík
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 contr…
Measures and LMIs for Lateral F-16 MRAC Validation
Daniel Wagner, Didier Henrion, Martin Hromčík
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 vali…
Data-driven identification of vehicle dynamics using Koopman operator
Vit Cibulka, Tomas Hanis, Martin Hromcik
This paper presents the results of identification of vehicle dynamics using the Koopman operator. The basic idea is to transform the state space of a nonlinear system (a car in our…