1 citations · 3 across the 7 of their papers we have counts for
5 papers
Urysohn in action: separating semialgebraic sets by polynomials
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev +2
A classical result from topology called Uryshon's lemma asserts the existence of a continuous separator of two disjoint closed sets in a sufficiently regular topological space. In…
Sparsity structures for Koopman operators
Corbinian Schlosser, Milan Korda
We present a decomposition of the Koopman operator based on the sparse structure of the underlying dynamical system, allowing one to consider the system as a family of subsystems i…
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
Milan Korda, Didier Henrion
Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K. The idea consists of approximating fr…
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems
Milan Korda, Didier Henrion, Colin N. Jones
We study the convergence rate of moment-sum-of-squares hierarchies of semidefinite programs for optimal control problems with polynomial data. It is known that these hierarchies ge…
Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods
Giorgos Stathopoulos, Milan Korda, Colin N. Jones
This work presents an algorithmic scheme for solving the infinite-time constrained linear quadratic regulation problem. We employ an accelerated version of a popular proximal gradi…