28,133 research outputs found
On the Approximation of Constrained Linear Quadratic Regulator Problems and their Application to Model Predictive Control - Supplementary Notes
By parametrizing input and state trajectories with basis functions different
approximations to the constrained linear quadratic regulator problem are
obtained. These notes present and discuss technical results that are intended
to supplement a corresponding journal article. The results can be applied in a
model predictive control context.Comment: 19 pages, 1 figur
Continuous, Semi-discrete, and Fully Discretized Navier-Stokes Equations
The Navier--Stokes equations are commonly used to model and to simulate flow
phenomena. We introduce the basic equations and discuss the standard methods
for the spatial and temporal discretization. We analyse the semi-discrete
equations -- a semi-explicit nonlinear DAE -- in terms of the strangeness index
and quantify the numerical difficulties in the fully discrete schemes, that are
induced by the strangeness of the system. By analyzing the Kronecker index of
the difference-algebraic equations, that represent commonly and successfully
used time stepping schemes for the Navier--Stokes equations, we show that those
time-integration schemes factually remove the strangeness. The theoretical
considerations are backed and illustrated by numerical examples.Comment: 28 pages, 2 figure, code available under DOI: 10.5281/zenodo.998909,
https://doi.org/10.5281/zenodo.99890
Domain Decomposition for Stochastic Optimal Control
This work proposes a method for solving linear stochastic optimal control
(SOC) problems using sum of squares and semidefinite programming. Previous work
had used polynomial optimization to approximate the value function, requiring a
high polynomial degree to capture local phenomena. To improve the scalability
of the method to problems of interest, a domain decomposition scheme is
presented. By using local approximations, lower degree polynomials become
sufficient, and both local and global properties of the value function are
captured. The domain of the problem is split into a non-overlapping partition,
with added constraints ensuring continuity. The Alternating Direction
Method of Multipliers (ADMM) is used to optimize over each domain in parallel
and ensure convergence on the boundaries of the partitions. This results in
improved conditioning of the problem and allows for much larger and more
complex problems to be addressed with improved performance.Comment: 8 pages. Accepted to CDC 201
Convex computation of the region of attraction of polynomial control systems
We address the long-standing problem of computing the region of attraction
(ROA) of a target set (e.g., 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 an
infinite-dimensional convex linear programming (LP) problem over the space of
measures. In turn, this problem can be solved approximately via a classical
converging hierarchy of convex finite-dimensional linear matrix inequalities
(LMIs). Our approach is genuinely primal in the sense that convexity of the
problem of computing the ROA is an outcome of optimizing directly over system
trajectories. The dual infinite-dimensional LP on nonnegative continuous
functions (approximated by polynomial sum-of-squares) allows us to generate a
hierarchy of semialgebraic outer approximations of the ROA at the price of
solving a sequence of LMI problems with asymptotically vanishing conservatism.
This sharply contrasts with the existing literature which follows an
exclusively dual Lyapunov approach yielding either nonconvex bilinear matrix
inequalities or conservative LMI conditions. The approach is simple and readily
applicable as the outer approximations are the outcome of a single semidefinite
program with no additional data required besides the problem description
Approximations of countably-infinite linear programs over bounded measure spaces
We study a class of countably-infinite-dimensional linear programs (CILPs)
whose feasible sets are bounded subsets of appropriately defined weighted
spaces of measures. We show how to approximate the optimal value, optimal
points, and minimal points of these CILPs by solving finite-dimensional linear
programs. The errors of our approximations converge to zero as the size of the
finite-dimensional program approaches that of the original problem and are easy
to bound in practice. We discuss the use of our methods in the computation of
the stationary distributions, occupation measures, and exit distributions of
Markov~chains
- âŠ