#### Filter Results:

#### Publication Year

1994

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- A Labovsky, M Gunzburger, +50 authors Sicomp
- 2015

- Didier Henrion, Milan Korda
- IEEE Trans. Automat. Contr.
- 2014

We address the long-standing problem of computing the region of attraction (ROA) of a target set (typically a neighborhood of an equilibrium point) of a controlled nonlinear system with polynomial dynamics and semialgebraic state and input constraints. We show that the ROA can be computed by solving a convex linear programming (LP) problem over the space of… (More)

- Milan Korda, Didier Henrion, Colin Neil Jones
- NOLCOS
- 2013

In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a… (More)

- Milan Korda, Ravi Gondhalekar, Jirí Cigler, Frauke Oldewurtel
- CDC-ECE
- 2011

reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

- Milan Korda, Didier Henrion, Colin Neil Jones
- SIAM J. Control and Optimization
- 2014

We characterize the maximum controlled invariant (MCI) set for discrete-as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we describe a hierarchy of finite-dimensional linear matrix… (More)

This work presents a method to obtain inner and outer approximations of the region of attraction of a given target set as well as an admissible controller generating the inner approximation. The method is applicable to constrained polynomial dynamical systems and extends to trigonometric and rational systems. The method consists of three steps: compute… (More)

- Milan Korda, Colin Neil Jones
- ACC
- 2014

— 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 observation that each step of the vast majority of first-order methods is characterized by a… (More)

— 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 in a continuous-time setting that dissipativity of a system with respect to a steady state implies the… (More)

- Milan Korda, Ravi Gondhalekar, Frauke Oldewurtel, Colin Neil Jones
- IEEE Trans. Automat. Contr.
- 2014

This paper considers linear discrete-time systems with additive, bounded, disturbances subject to hard control input bounds and a stochastic constraint on the amount of state-constraint violation averaged over time. The amount of violations is quantified by a loss function and the averaging can be weighted, corresponding to exponential forgetting of past… (More)

— This paper considers linear discrete-time systems with additive bounded disturbances subject to hard control input bounds and a stochastic requirement on the number of state-constraint violations averaged over time. This specification facilitates the exploitation of the information on the number of past constraint violations, and consequently enables a… (More)