Publications by Milan Korda | EPFL Graph Search

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems

We study the convergence rate of the moment-sum-of-squares hierarchy of semidefinite programs for optimal control problems with polynomial data. It is known that this hierarchy generates polynomial under-approximations to the value function of the optimal ...

Elsevier Science Bv2017

Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods

Colin Neil Jones, Milan Korda, Georgios Stathopoulos

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 gradient scheme, commonly known as the Forward-Backward Splitting (FBS), and prov ...

Institute of Electrical and Electronics Engineers2017

Technical Report: Control of Nonlinear Systems with Explicit-MPC-like Controllers

Colin Neil Jones, Milan Korda, Ivan Pejcic

This paper describes synthesis of controllers involving Quadratic Programming (QP) optimization problems for control of nonlinear systems. The QP structure allows an implementation of the controller as a piecewise affine function, pre-computed offline, whi ...

2017

Y Stability and performance verification of optimization-based controllers

Colin Neil Jones, Milan Korda

This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include g ...

Pergamon-Elsevier Science Ltd2017

On turnpike and dissipativity properties of continuous-time optimal control problems

Dominique Bonvin, Colin Neil Jones, Timm Faulwasser, Milan Korda

This paper investigates the relations between three different properties, which are of importance in optimal control problems: dissipativity of the underlying dynamics with respect to a specific supply rate, optimal operation at steady state, and the turnp ...

Pergamon-Elsevier Science Ltd2017

Controller design and value function approximation for nonlinear dynamical systems

Colin Neil Jones, Milan Korda

This work considers the infinite-time discounted optimal control problem for continuous time input-affine polynomial dynamical systems subject to polynomial state and box input constraints. We propose a sequence of sum-of-squares (SOS) approximations of th ...

Pergamon-Elsevier Science Ltd2016

Moment-sum-of-squares hierarchies for set approximation and optimal control

Milan Korda

This thesis uses the idea of lifting (or embedding) a nonlinear controlled dynamical system into an infinite-dimensional space of measures where this system is equivalently described by a linear equation. This equation and problems involving it are subsequ ...

EPFL2016

Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems

Colin Neil Jones, Milan Korda

This paper proposes a stability verification method for systems controlled by an early terminated first-order method (e.g., an MPC problem approximately solved by a fixed number of iterations of the fast gradient method). The method is based on the observa ...

Ieee2014

Solving the infinite-horizon constrained LQR problem using splitting techniques

Colin Neil Jones, Milan Korda, Georgios Stathopoulos

This paper presents a method to solve the constrained infinite-time linear quadratic regulator (LQR) problem. We use an operator splitting technique, namely the alternating minimization algorithm (AMA), to split the problem into an unconstrained LQR proble ...

Elsevier2014

Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC

Dominique Bonvin, Colin Neil Jones, Timm Faulwasser, Milan Korda

We investigate the turnpike and dissipativity properties of continuous-time optimal control problems. These properties play a key role in the analysis and design of schemes for dynamic real-time optimization and economic model predictive control. We show i ...

2014