-
Sensitivity-based Warmstarting for Nonlinear Model Predictive Control with Polyhedral State and Control Constraints
Authors:
Dominic Liao-McPherson,
Marco M. Nicotra,
Asen L. Dontchev,
Ilya V. Kolmanovsky,
Vladimir. M. Veliov
Abstract:
Model predictive control (MPC) is of increasing interest in applications for constrained control of multivariable systems. However, one of the major obstacles to its broader use is the computation time and effort required to solve a possibly non-convex optimal control problem (OCP) online. This paper introduces a sensitivity-based warmstarting strategy for systems with nonlinear dynamics and polyh…
▽ More
Model predictive control (MPC) is of increasing interest in applications for constrained control of multivariable systems. However, one of the major obstacles to its broader use is the computation time and effort required to solve a possibly non-convex optimal control problem (OCP) online. This paper introduces a sensitivity-based warmstarting strategy for systems with nonlinear dynamics and polyhedral constraints with the goal of reducing the computational footprint of MPC controllers. It predicts changes in the solution of the parameterized OCP as the parameter varies, by calculating the semiderivative of the solution mapping. The main novelty of the paper is that the polyhedrality of the constraints allows us to avoid imposing any constraint qualification conditions or strict complementarity assumptions. A numerical study featuring MPC applied to unmanned aerial vehicles illustrates the proposed approach.
△ Less
Submitted 27 September, 2019; v1 submitted 26 June, 2019;
originally announced June 2019.
-
The Radius of Metric Subregularity
Authors:
Asen L. Dontchev,
Helmut Gfrerer,
Alexander Y. Kruger,
Jiří V. Outrata
Abstract:
There is a basic paradigm, called here the radius of well-posedness, which quantifies the "distance" from a given well-posed problem to the set of ill-posed problems of the same kind. In variational analysis, well-posedness is often understood as a regularity property, which is usually employed to measure the effect of perturbations and approximations of a problem on its solutions. In this paper w…
▽ More
There is a basic paradigm, called here the radius of well-posedness, which quantifies the "distance" from a given well-posed problem to the set of ill-posed problems of the same kind. In variational analysis, well-posedness is often understood as a regularity property, which is usually employed to measure the effect of perturbations and approximations of a problem on its solutions. In this paper we focus on evaluating the radius of the property of metric subregularity which, in contrast to its siblings, metric regularity, strong regularity and strong subregularity, exhibits a more complicated behavior under various perturbations. We consider three kinds of perturbations: by Lipschitz continuous functions, by semismooth functions, and by smooth functions, obtaining different expressions/bounds for the radius of subregularity, which involve generalized derivatives of set-valued mappings. We also obtain different expressions when using either Frobenius or Euclidean norm to measure the radius. As an application, we evaluate the radius of subregularity of a general constraint system. Examples illustrate the theoretical findings.
△ Less
Submitted 15 January, 2020; v1 submitted 5 July, 2018;
originally announced July 2018.
-
Strong Metric Subregularity of Mappings in Variational Analysis and Optimization
Authors:
Radek Cibulka,
Asen Dontchev,
Alexander Kruger
Abstract:
Although the property of strong metric subregularity of set-valued mappings has been present in the literature under various names and with various definitions for more than two decades, it has attracted much less attention than its older "siblings", the metric regularity and the strong metric regularity. The purpose of this paper is to show that the strong metric subregularity shares the main fea…
▽ More
Although the property of strong metric subregularity of set-valued mappings has been present in the literature under various names and with various definitions for more than two decades, it has attracted much less attention than its older "siblings", the metric regularity and the strong metric regularity. The purpose of this paper is to show that the strong metric subregularity shares the main features of these two most popular regularity properties and is not less instrumental in applications. We show that the strong metric subregularity of a mapping F acting between metric spaces is stable under perturbations of the form f + F, where f is a function with a small calmness constant. This result is parallel to the Lyusternik-Graves theorem for metric regularity and to the Robinson theorem for strong regularity, where the perturbations are represented by a function f with a small Lipschitz constant. Then we study perturbation stability of the same kind for mappings acting between Banach spaces, where f is not necessarily differentiable but admits a set-valued derivative-like approximation. Strong metric q-subregularity is also considered, where q is a positive real constant appearing as exponent in the definition. Rockafellar's criterion for strong metric subregularity involving injectivity of the graphical derivative is extended to mappings acting in infinite-dimensional spaces. A sufficient condition for strong metric subregularity is established in terms of surjectivity of the Frechet coderivative. Various versions of Newton's method for solving generalized equations are considered including inexact and semismooth methods, for which superlinear convergence is shown under strong metric subregularity.
△ Less
Submitted 9 January, 2017;
originally announced January 2017.
-
An Inverse Function Theorem for Metrically Regular Mappings
Authors:
Asen L. Dontchev
Abstract:
We prove that if a mapping F:X to Y, where X and Y are Banach spaces, is metrically regular at x for y and its inverse F^{-1} is convex and closed valued locally around (x,y), then for any function G:X to Y with lip G(x)regF(x|y)) < 1, the mapping (F+G)^{-1} has a continuous local selection around (x, y+G(x)) which is also calm.
We prove that if a mapping F:X to Y, where X and Y are Banach spaces, is metrically regular at x for y and its inverse F^{-1} is convex and closed valued locally around (x,y), then for any function G:X to Y with lip G(x)regF(x|y)) < 1, the mapping (F+G)^{-1} has a continuous local selection around (x, y+G(x)) which is also calm.
△ Less
Submitted 18 September, 2002;
originally announced September 2002.