CORE
πΊπ¦Β
Β make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Robust-to-Dynamics Optimization
Authors
Amir Ali Ahmadi
Oktay Gunluk
Publication date
9 May 2018
Publisher
View
on
arXiv
Abstract
A robust-to-dynamics optimization (RDO) problem is an optimization problem specified by two pieces of input: (i) a mathematical program (an objective function
f
:
R
n
β
R
f:\mathbb{R}^n\rightarrow\mathbb{R}
f
:
R
n
β
R
and a feasible set
Ξ©
β
R
n
\Omega\subseteq\mathbb{R}^n
Ξ©
β
R
n
), and (ii) a dynamical system (a map
g
:
R
n
β
R
n
g:\mathbb{R}^n\rightarrow\mathbb{R}^n
g
:
R
n
β
R
n
). Its goal is to minimize
f
f
f
over the set
S
β
Ξ©
\mathcal{S}\subseteq\Omega
S
β
Ξ©
of initial conditions that forever remain in
Ξ©
\Omega
Ξ©
under
g
g
g
. The focus of this paper is on the case where the mathematical program is a linear program and the dynamical system is either a known linear map, or an uncertain linear map that can change over time. In both cases, we study a converging sequence of polyhedral outer approximations and (lifted) spectrahedral inner approximations to
S
\mathcal{S}
S
. Our inner approximations are optimized with respect to the objective function
f
f
f
and their semidefinite characterization---which has a semidefinite constraint of fixed size---is obtained by applying polar duality to convex sets that are invariant under (multiple) linear maps. We characterize three barriers that can stop convergence of the outer approximations from being finite. We prove that once these barriers are removed, our inner and outer approximating procedures find an optimal solution and a certificate of optimality for the RDO problem in a finite number of steps. Moreover, in the case where the dynamics are linear, we show that this phenomenon occurs in a number of steps that can be computed in time polynomial in the bit size of the input data. Our analysis also leads to a polynomial-time algorithm for RDO instances where the spectral radius of the linear map is bounded above by any constant less than one. Finally, in our concluding section, we propose a broader research agenda for studying optimization problems with dynamical systems constraints, of which RDO is a special case
Similar works
Full text
Available Versions
arXiv.org e-Print Archive
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:arXiv.org:1805.03682
Last time updated on 15/05/2018