5 citations · 5 across the 2 of their papers we have counts for
12 papers
Peak Estimation for Uncertain and Switched Systems
Jared Miller, Didier Henrion, Mario Sznaier +1
Peak estimation bounds extreme values of a function of state along trajectories of a dynamical system. This paper focuses on extending peak estimation to continuous and discrete se…
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…
Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability
Vít Cibulka, Milan Korda, Tomáš Haniš
This paper presents a method for calculating Region of Attraction of a target set (not necessarily an equilibrium) for controlled polynomial dynamical systems, using a hierarchy of…
Control-Oriented, Data-Driven Models of Thermal Dynamics
Ljuboslav Boskic, Igor Mezic
Energy savings from efficiency methods in individual residential buildings are measured in 10's of dollars, while the energy savings from such measures nationally would amount to 1…
Computing controlled invariant sets from data using convex optimization
Milan Korda
This work presents a data-driven method for approximation of the maximum positively invariant (MPI) set and the maximum controlled invariant (MCI) set for nonlinear dynamical syste…
Optimal construction of Koopman eigenfunctions for prediction and control
Milan Korda, Igor Mezić
This work presents a novel data-driven framework for constructing eigenfunctions of the Koopman operator geared toward prediction and control. The method leverages the richness of…