Showing 1–30 of 30 results for author: Houska, B

Configuration-Constrained Tube MPC for Tracking

Authors: Filippo Badalamenti, Sampath Kumar Mulagaleti, Alberto Bemporad, Boris Houska, Mario Eduardo Villanueva

Abstract: This paper proposes a novel tube-based Model Predictive Control (MPC) framework for tracking varying setpoint references with linear systems subject to additive and multiplicative uncertainties. The MPC controllers designed using this framework exhibit recursively feasible for changing references, and robust asymptotic stability for piecewise constant references. The framework leverages configurat… ▽ More This paper proposes a novel tube-based Model Predictive Control (MPC) framework for tracking varying setpoint references with linear systems subject to additive and multiplicative uncertainties. The MPC controllers designed using this framework exhibit recursively feasible for changing references, and robust asymptotic stability for piecewise constant references. The framework leverages configuration-constrained polytopes to parameterize the tubes, offering flexibility to optimize their shape. The efficacy of the approach is demonstrated through two numerical examples. The first example illustrates the theoretical results, and the second uses the framework to design a lane-change controller for an autonomous vehicle. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 14 pages, paper presented to the L-CSS/CDC combined submission

Intrinsic Separation Principles

Authors: Boris Houska

Abstract: This paper is about output-feedback control problems for general linear systems in the presence of given state-, control-, disturbance-, and measurement error constraints. Because the traditional separation theorem in stochastic control is inapplicable to such constrained systems, a novel information-theoretic framework is proposed. It leads to an intrinsic separation principle that can be used to… ▽ More This paper is about output-feedback control problems for general linear systems in the presence of given state-, control-, disturbance-, and measurement error constraints. Because the traditional separation theorem in stochastic control is inapplicable to such constrained systems, a novel information-theoretic framework is proposed. It leads to an intrinsic separation principle that can be used to break the dual control problem for constrained linear systems into a meta-learning problem that minimizes an intrinsic information measure and a robust control problem that minimizes an extrinsic risk measure. The theoretical results in this paper can be applied in combination with modern polytopic computing methods in order to approximate a large class of dual control problems by finite-dimensional convex optimization problems. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Convex operator-theoretic methods in stochastic control

Authors: Boris Houska

Abstract: This paper is about operator-theoretic methods for solving nonlinear stochastic optimal control problems to global optimality. These methods leverage on the convex duality between optimally controlled diffusion processes and Hamilton-Jacobi-Bellman (HJB) equations for nonlinear systems in an ergodic Hilbert-Sobolev space. In detail, a generalized Bakry-Emery condition is introduced under which one… ▽ More This paper is about operator-theoretic methods for solving nonlinear stochastic optimal control problems to global optimality. These methods leverage on the convex duality between optimally controlled diffusion processes and Hamilton-Jacobi-Bellman (HJB) equations for nonlinear systems in an ergodic Hilbert-Sobolev space. In detail, a generalized Bakry-Emery condition is introduced under which one can establish the global exponential stabilizability of a large class of nonlinear systems. It is shown that this condition is sufficient to ensure the existence of solutions of the ergodic HJB for stochastic optimal control problems on infinite time horizons. Moreover, a novel dynamic programming recursion for bounded linear operators is introduced, which can be used to numerically solve HJB equations by a Galerkin projection. △ Less

Submitted 28 May, 2023; originally announced May 2023.

Configuration-Constrained Tube MPC

Authors: Mario E. Villanueva, Matthias A. Müller, Boris Houska

Abstract: This paper is about robust Model Predictive Control (MPC) for linear systems with additive and multiplicative uncertainty. A novel class of configuration-constrained polytopic robust forward invariant tubes is introduced, which admit a joint parameterization of their facets and vertices. They are the foundation for the development of novel Configuration-Constrained Tube MPC (CCTMPC) controllers th… ▽ More This paper is about robust Model Predictive Control (MPC) for linear systems with additive and multiplicative uncertainty. A novel class of configuration-constrained polytopic robust forward invariant tubes is introduced, which admit a joint parameterization of their facets and vertices. They are the foundation for the development of novel Configuration-Constrained Tube MPC (CCTMPC) controllers that freely optimize the shape of their polytopic tube, subject to conic vertex configuration constraints, as well as associated vertex control laws by solving convex optimization problems online. It is shown that CCTMPC is -- under appropriate assumptions -- systematically less conservative than Rigid- and Homothetic- Tube MPC. Additionally, it is proven that there exist control systems for which CCTMPC is less conservative than Elastic Tube MPC, Disturbance Affine Feedback MPC, and Fully Parameterized Tube MPC. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Parallel MPC for Linear Systems with State and Input Constraints

Authors: Jiahe Shi, Yuning Jiang, Juraj Oravec, Boris Houska

Abstract: This paper proposes a parallelizable algorithm for linear-quadratic model predictive control (MPC) problems with state and input constraints. The algorithm itself is based on a parallel MPC scheme that has originally been designed for systems with input constraints. In this context, one contribution of this paper is the construction of time-varying yet separable constraint margins ensuring recursi… ▽ More This paper proposes a parallelizable algorithm for linear-quadratic model predictive control (MPC) problems with state and input constraints. The algorithm itself is based on a parallel MPC scheme that has originally been designed for systems with input constraints. In this context, one contribution of this paper is the construction of time-varying yet separable constraint margins ensuring recursive feasibility and asymptotic stability of sub-optimal parallel MPC in a general setting, which also includes state constraints. Moreover, it is shown how to tradeoff online run-time guarantees versus the conservatism that is introduced by the tightened state constraints. The corresponding performance of the proposed method as well as the cost of the recursive feasibility guarantees is analyzed in the context of controlling a large-scale mechatronic system. This is illustrated by numerical experiments for a large-scale control system with more than 100 states and 60 control inputs leading to run-times in the millisecond range. △ Less

Submitted 30 June, 2022; originally announced July 2022.

Ambiguity Tube MPC

Authors: Fan Wu, Mario E. Villanueva, Boris Houska

Abstract: This paper is about a class of distributionally robust model predictive controllers (MPC) for nonlinear stochastic processes that evaluate risk and control performance measures by propagating ambiguity sets in the space of state probability measures. A framework for formulating such ambiguity tube MPC controllers is presented, which is based on modern measure-theoretic methods from the field of op… ▽ More This paper is about a class of distributionally robust model predictive controllers (MPC) for nonlinear stochastic processes that evaluate risk and control performance measures by propagating ambiguity sets in the space of state probability measures. A framework for formulating such ambiguity tube MPC controllers is presented, which is based on modern measure-theoretic methods from the field of optimal transport theory. Moreover, a supermartingale based analysis technique is proposed, leading to stochastic stability results for a large class of distributionally robust controllers for linear and nonlinear systems. In this context, we also discuss how to construct terminal cost functions for stochastic and distributionally robust MPC that ensure closed-loop stability and asymptotic convergence to robust invariant sets. The corresponding theoretical developments are illustrated by tutorial-style examples and a numerical case study. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Distributed MPC with ALADIN -- A Tutorial

Authors: Boris Houska, Jiahe Shi

Abstract: This paper consists of a tutorial on the Augmented Lagrangian based Alternating Direction Inexact Newton method (ALADIN) and its application to distributed model predictive control (MPC). The focus is - for simplicity of presentation - on convex quadratic programming (QP) formulations of MPC. It is explained how ALADIN can be used to synthesize sparse QP solvers for large-scale linear-quadratic op… ▽ More This paper consists of a tutorial on the Augmented Lagrangian based Alternating Direction Inexact Newton method (ALADIN) and its application to distributed model predictive control (MPC). The focus is - for simplicity of presentation - on convex quadratic programming (QP) formulations of MPC. It is explained how ALADIN can be used to synthesize sparse QP solvers for large-scale linear-quadratic optimal control by combining ideas from augmented Lagrangian methods, sequential quadratic programming, as well as barrier or interior point methods. The highlight of this tutorial is a real-time ALADIN variant that can be implemented with a few lines of code yet arriving at a sparse QP solver that can compete with mature open-source and commercial QP solvers in terms of both run-time as well as numerical accuracy. It is discussed why this observation could have far reaching consequences on the future of algorithm and software development in the field of large-scale optimization and MPC. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Approximations for Optimal Experimental Design in Power System Parameter Estimation

Authors: Xu Du, Alexander Engelmann, Timm Faulwasser, Boris Houska

Abstract: This paper is about computationally tractable methods for power system parameter estimation and Optimal Experiment Design (OED). Here, the main motivation is that OED has the potential to significantly increase the accuracy of power system parameter estimates, for example, if only a few batches of data are available. The problem is, however, that solving the exact OED problem for larger power grid… ▽ More This paper is about computationally tractable methods for power system parameter estimation and Optimal Experiment Design (OED). Here, the main motivation is that OED has the potential to significantly increase the accuracy of power system parameter estimates, for example, if only a few batches of data are available. The problem is, however, that solving the exact OED problem for larger power grids turns out to be computationally expensive and, in many cases, even computationally intractable. Therefore, the present paper proposes three numerical approximation techniques, which increase the computational tractability of OED for power systems. These approximation techniques are bench-marked on a 5-bus and a 14-bus case studies. △ Less

Submitted 16 September, 2022; v1 submitted 26 March, 2022; originally announced March 2022.

Distributed Multi-Building Coordination for Demand Response

Authors: Junyan Su, Yuning Jiang, Altug Bitlislioglu, Colin N. Jones, Boris Houska

Abstract: This paper presents a distributed optimization algorithm tailored for solving optimal control problems arising in multi-building coordination. The buildings coordinated by a grid operator, join a demand response program to balance the voltage surge by using an energy cost defined criterion. In order to model the hierarchical structure of the building network, we formulate a distributed convex opti… ▽ More This paper presents a distributed optimization algorithm tailored for solving optimal control problems arising in multi-building coordination. The buildings coordinated by a grid operator, join a demand response program to balance the voltage surge by using an energy cost defined criterion. In order to model the hierarchical structure of the building network, we formulate a distributed convex optimization problem with separable objectives and coupled affine equality constraints. A variant of the Augmented Lagrangian based Alternating Direction Inexact Newton (ALADIN) method for solving the considered class of problems is then presented along with a convergence guarantee. To illustrate the effectiveness of the proposed method, we compare it to the Alternating Direction Method of Multipliers (ADMM) by running both an ALADIN and an ADMM based model predictive controller on a benchmark case study. △ Less

Submitted 13 January, 2021; originally announced January 2021.

Online power system parameter estimation and optimal operation

Authors: Xu Du, Alexander Engelmann, Timm Faulwasser, Boris Houska

Abstract: The integration of renewables into electrical grids calls for optimization-based control schemes requiring reliable grid models. Classically, parameter estimation and optimization-based control is often decoupled, which leads to high system operation cost in the estimation procedure. The present work proposes a method for simultaneously minimizing grid operation cost and optimally estimating line… ▽ More The integration of renewables into electrical grids calls for optimization-based control schemes requiring reliable grid models. Classically, parameter estimation and optimization-based control is often decoupled, which leads to high system operation cost in the estimation procedure. The present work proposes a method for simultaneously minimizing grid operation cost and optimally estimating line parameters based on methods for the optimal design of experiments. This method leads to a substantial reduction in cost for optimal estimation and in higher accuracy in the parameters compared with standard Optimal Power Flow and maximum-likelihood estimation. We illustrate the performance of the proposed method on a benchmark system. △ Less

Submitted 18 March, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Distributed Optimization for Massive Connectivity

Authors: Yuning Jiang, Junyan Su, Yuanming Shi, Boris Houska

Abstract: Massive device connectivity in Internet of Thing (IoT) networks with sporadic traffic poses significant communication challenges. To overcome this challenge, the serving base station is required to detect the active devices and estimate the corresponding channel state information during each coherence block. The corresponding joint activity detection and channel estimation problem can be formulate… ▽ More Massive device connectivity in Internet of Thing (IoT) networks with sporadic traffic poses significant communication challenges. To overcome this challenge, the serving base station is required to detect the active devices and estimate the corresponding channel state information during each coherence block. The corresponding joint activity detection and channel estimation problem can be formulated as a group sparse estimation problem, also known under the name "Group Lasso". This letter presents a fast and efficient distributed algorithm to solve such Group Lasso problems, which alternates between solving small-scaled problems in parallel and dealing with a linear equation for consensus. Numerical results demonstrate the speedup of this algorithm compared with the state-of-the-art methods in terms of convergence speed and computation time. △ Less

Submitted 9 June, 2020; originally announced June 2020.

ALADIN-$α$ -- An open-source MATLAB toolbox for distributed non-convex optimization

Authors: Alexander Engelmann, Yuning Jiang, Henrieke Benner, Ruchuan Ou, Boris Houska, Timm Faulwasser

Abstract: This paper introduces an open-source software for distributed and decentralized non-convex optimization named ALADIN-$α$. ALADIN-$α$ is a MATLAB implementation of tailored variants of the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) algorithm. Its user interface is convenient for rapid prototy** of non-convex distributed optimization algorithms. An improved version of the r… ▽ More This paper introduces an open-source software for distributed and decentralized non-convex optimization named ALADIN-$α$. ALADIN-$α$ is a MATLAB implementation of tailored variants of the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) algorithm. Its user interface is convenient for rapid prototy** of non-convex distributed optimization algorithms. An improved version of the recently proposed bi-level variant of ALADIN is included enabling decentralized non-convex optimization with reduced information exchange. A collection of examples from different applications fields including chemical engineering, robotics, and power systems underpins the potential of ALADIN-$α$. △ Less

Submitted 4 October, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

A set-theoretic generalization of dissipativity with applications in Tube MPC

Authors: Mario Eduardo Villanueva, Elena De Lazzari, Matthias Müller, Boris Houska

Abstract: This paper introduces a framework for analyzing a general class of uncertain nonlinear discrete-time systems with given state-, control-, and disturbance constraints. In particular, we propose a set-theoretic generalization of the concept of dissipativity of systems that are affected by external disturbances. The corresponding theoretical developments build upon set based analysis methods and lay… ▽ More This paper introduces a framework for analyzing a general class of uncertain nonlinear discrete-time systems with given state-, control-, and disturbance constraints. In particular, we propose a set-theoretic generalization of the concept of dissipativity of systems that are affected by external disturbances. The corresponding theoretical developments build upon set based analysis methods and lay a general theoretical foundation for a rigorous stability analysis of economic tube model predictive controllers. Besides, we discuss practical prodecures for verifying set-dissipativity of constrained linear control systems with convex stage costs. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 14 pages, 2 figures

Distributed Optimization using ALADIN for MPC in Smart Grids

Authors: Yuning Jiang, Philipp Sauerteig, Boris Houska, Karl Worthmann

Abstract: This paper presents a distributed optimization algorithm tailored to solve optimization problems arising in smart grids. In detail, we propose a variant of the Augmented Lagrangian based Alternating Direction Inexact Newton (ALADIN) method, which comes along with global convergence guarantees for the considered class of linear-quadratic optimization problems. We establish local quadratic convergen… ▽ More This paper presents a distributed optimization algorithm tailored to solve optimization problems arising in smart grids. In detail, we propose a variant of the Augmented Lagrangian based Alternating Direction Inexact Newton (ALADIN) method, which comes along with global convergence guarantees for the considered class of linear-quadratic optimization problems. We establish local quadratic convergence of the proposed scheme and elaborate its advantages compared to the Alternating Direction Method of Multipliers (ADMM). In particular, we show that, at the cost of more communication, ALADIN requires fewer iterations to achieve the desired accuracy. Furthermore, it is numerically demonstrated that the number of iterations is independent of the number of subsystems. The effectiveness of the proposed scheme is illustrated by running both an ALADIN and an ADMM based model predictive controller on a benchmark case study. △ Less

Submitted 3 April, 2020; originally announced April 2020.

Towards Global Optimal Control via Koopman Lifts

Authors: Mario E. Villanueva, Colin Jones, Boris Houska

Abstract: This paper introduces a framework for solving time-autonomous nonlinear infinite horizon optimal control problems, under the assumption that all minimizers satisfy Pontryagin's necessary optimality conditions. In detail, we use methods from the field of symplectic geometry to analyze the eigenvalues of a Koopman operator that lifts Pontryagin's differential equation into a suitably defined infinit… ▽ More This paper introduces a framework for solving time-autonomous nonlinear infinite horizon optimal control problems, under the assumption that all minimizers satisfy Pontryagin's necessary optimality conditions. In detail, we use methods from the field of symplectic geometry to analyze the eigenvalues of a Koopman operator that lifts Pontryagin's differential equation into a suitably defined infinite dimensional symplectic space. This has the advantage that methods from the field of spectral analysis can be used to characterize globally optimal control laws. A numerical method for constructing optimal feedback laws for nonlinear systems is then obtained by computing the eigenvalues and eigenvectors of a matrix that is obtained by projecting the Pontryagin-Koopman operator onto a finite dimensional space. We illustrate the effectiveness of this approach by computing accurate approximations of the optimal nonlinear feedback law for a Van der Pol control system, which cannot be stabilized by a linear control law. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 16 pages, 1 figure, Submitted to a refereed journal

Distributed Control Enforcing Group Sparsity in Smart Grids

Authors: Philipp Sauerteig, Yuning Jiang, Boris Houska, Karl Worthmann

Abstract: In modern smart grids, charging of local energy storage devices is coordinated on a residential level to compensate the volatile aggregated power demand on the time interval of interest. However, this results in a perpetual usage of all batteries which reduces their lifetime. We enforce group sparsity by using an $\ell_{p,q}$-regularization on the control to counteract this phenomenon. This leads… ▽ More In modern smart grids, charging of local energy storage devices is coordinated on a residential level to compensate the volatile aggregated power demand on the time interval of interest. However, this results in a perpetual usage of all batteries which reduces their lifetime. We enforce group sparsity by using an $\ell_{p,q}$-regularization on the control to counteract this phenomenon. This leads to a non-smooth convex optimization problem, for which we propose a tailored Alternating Direction Method of Multipliers algorithm. We elaborate further how to embed it in a Model Predictive Control framework. We show that the proposed scheme yields sparse control while achieving reasonable overall peak shaving by numerical simulations. △ Less

Submitted 9 February, 2020; originally announced February 2020.

Optimal Experiment Design for AC Power Systems Admittance Estimation

Authors: Xu Du, Alexander Engelmann, Yuning Jiang, Timm Faulwasser, Boris Houska

Abstract: The integration of renewables into electrical grids calls for the development of tailored control schemes which in turn require reliable grid models. In many cases, the grid topology is known but the actual parameters are not exactly known. This paper proposes a new approach for online parameter estimation in power systems based on optimal experimental design using multiple measurement snapshots.… ▽ More The integration of renewables into electrical grids calls for the development of tailored control schemes which in turn require reliable grid models. In many cases, the grid topology is known but the actual parameters are not exactly known. This paper proposes a new approach for online parameter estimation in power systems based on optimal experimental design using multiple measurement snapshots. In contrast to conventional methods, our method computes optimal excitations extracting the maximum information in each estimation step to accelerate convergence. The performance of the proposed method is illustrated on a case study. △ Less

Submitted 10 May, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Partially Distributed Outer Approximation

Authors: Alexander Murray, Timm Faulwasser, Veit Hagenmeyer, Mario E. Villanueva, Boris Houska

Abstract: This paper presents a novel partially distributed outer approximation algorithm, named PaDOA, for solving a class of structured mixed integer convex programming (MICP) problems to global optimality. The proposed scheme uses an iterative outer approximation method for coupled mixed integer optimization problems with separable convex objective functions, affine coupling constraints, and compact doma… ▽ More This paper presents a novel partially distributed outer approximation algorithm, named PaDOA, for solving a class of structured mixed integer convex programming (MICP) problems to global optimality. The proposed scheme uses an iterative outer approximation method for coupled mixed integer optimization problems with separable convex objective functions, affine coupling constraints, and compact domain. PaDOA proceeds by alternating between solving large-scale structured mixed-integer linear programming problems and partially decoupled mixed-integer nonlinear programming subproblems that comprise much fewer integer variables. We establish conditions under which PaDOA converges to global minimizers after a finite number of iterations and verify these properties with an application to thermostatically controlled loads. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Decentralized Optimization over Tree Graphs

Authors: Yuning Jiang, Dimitris Kouzoupis, Haoyu Yin, Moritz Diehl, Boris Houska

Abstract: This paper presents a decentralized algorithm for non-convex optimization over tree-structured networks. We assume that each node of this network can solve small-scale optimization problems and communicate approximate value functions with its neighbors based on a novel multi-sweep communication protocol. In contrast to existing parallelizable optimization algorithms for non-convex optimization the… ▽ More This paper presents a decentralized algorithm for non-convex optimization over tree-structured networks. We assume that each node of this network can solve small-scale optimization problems and communicate approximate value functions with its neighbors based on a novel multi-sweep communication protocol. In contrast to existing parallelizable optimization algorithms for non-convex optimization the nodes of the network are neither synchronized nor assign any central entity. None of the nodes needs to know the whole topology of the network, but all nodes know that the network is tree-structured. We discuss conditions under which locally quadratic convergence rates can be achieved. The method is illustrated by running the decentralized asynchronous multi-sweep protocol on a radial AC power network case study. △ Less

Submitted 30 October, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Parallel Explicit Tube Model Predictive Control

Authors: Kai Wang, Yuning Jiang, Juraj Oravec, Mario E. Villanueva, Boris Houska

Abstract: This paper is about a parallel algorithm for tube-based model predictive control. The proposed control algorithm solves robust model predictive control problems suboptimally, while exploiting their structure. This is achieved by implementing a real-time algorithm that iterates between the evaluation of piecewise affine functions, corresponding to the parametric solution of small-scale robust MPC p… ▽ More This paper is about a parallel algorithm for tube-based model predictive control. The proposed control algorithm solves robust model predictive control problems suboptimally, while exploiting their structure. This is achieved by implementing a real-time algorithm that iterates between the evaluation of piecewise affine functions, corresponding to the parametric solution of small-scale robust MPC problems, and the online solution of structured equality constrained QPs. The performance of the associated real-time robust MPC controllers is illustrated by a numerical case study. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Backward-Forward Reachable Set Splitting for State-Constrained Differential Games

Authors: Xuhui Feng, Mario E. Villanueva, Boris Houska

Abstract: This paper is about a set-based computing method for solving a general class of two-player zero-sum Stackelberg differential games. We assume that the game is modeled by a set of coupled nonlinear differential equations, which can be influenced by the control inputs of the players. Here, each of the players has to satisfy their respective state and control constraints or loses the game. The main c… ▽ More This paper is about a set-based computing method for solving a general class of two-player zero-sum Stackelberg differential games. We assume that the game is modeled by a set of coupled nonlinear differential equations, which can be influenced by the control inputs of the players. Here, each of the players has to satisfy their respective state and control constraints or loses the game. The main contribution is a backward-forward reachable set splitting scheme, which can be used to derive numerically tractable conservative approximations of such two player games. In detail, we introduce a novel class of differential inequalities that can be used to find convex outer approximations of these backward and forward reachable sets. This approach is worked out in detail for ellipsoidal set parameterizations. Our numerical examples illustrate not only the effectiveness of the approach, but also the subtle differences between standard robust optimal control problems and more general constrained two-player zero-sum Stackelberg differential games. △ Less

Submitted 8 September, 2019; originally announced September 2019.

Decomposition of non-convex optimization via bi-level distributed ALADIN

Authors: Alexander Engelmann, Yuning Jiang, Boris Houska, Timm Faulwasser

Abstract: Decentralized optimization algorithms are important in different contexts, such as distributed optimal power flow or distributed model predictive control, as they avoid central coordination and enable decomposition of large-scale problems. In case of constrained non-convex optimization only a few algorithms are currently are available; often their performance is limited, or they lack convergence g… ▽ More Decentralized optimization algorithms are important in different contexts, such as distributed optimal power flow or distributed model predictive control, as they avoid central coordination and enable decomposition of large-scale problems. In case of constrained non-convex optimization only a few algorithms are currently are available; often their performance is limited, or they lack convergence guarantees. This paper proposes a framework for decentralized non-convex optimization via bi-level distribution of the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) algorithm. Bi-level distribution means that the outer ALADIN structure is combined with an inner distribution/decentralization level solving a condensed variant of ALADIN's convex coordination QP by decentralized algorithms. We prove sufficient conditions ensuring local convergence while allowing for inexact decentralized/distributed solutions of the coordination QP. Moreover, we show how a decentralized variant of conjugate gradient or decentralized ADMM schemes can be employed at the inner level. We draw upon case studies from power systems and robotics to illustrate the performance of the proposed framework. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Distributed State Estimation for AC Power Systems using Gauss-Newton ALADIN

Authors: Xu Du, Alexander Engelmann, Yuning Jiang, Timm Faulwasser, Boris Houska

Abstract: This paper proposes a structure exploiting algorithm for solving non-convex power system state estimation problems in distributed fashion. Because the power flow equations in large electrical grid networks are non-convex equality constraints, we develop a tailored state estimator based on Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) method, which can handle the nonlinearities… ▽ More This paper proposes a structure exploiting algorithm for solving non-convex power system state estimation problems in distributed fashion. Because the power flow equations in large electrical grid networks are non-convex equality constraints, we develop a tailored state estimator based on Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) method, which can handle the nonlinearities efficiently. Here, our focus is on using Gauss-Newton Hessian approximations within ALADIN in order to arrive at at an efficient (computationally and communicationally) variant of ALADIN for network maximum likelihood estimation problems. Analyzing the IEEE 30-Bus system we illustrate how the proposed algorithm can be used to solve highly non-trivial network state estimation problems. We also compare the method with existing distributed parameter estimation codes in order to illustrate its performance. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Parallel Explicit Model Predictive Control

Authors: Yuning Jiang, Juraj Oravec, Boris Houska, Michal Kvasnica

Abstract: This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scal… ▽ More This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scale parametric quadratic programming (QP) problems. We provide recursive feasibility and asymptotic stability guarantees, which can both be verified offline. The feedback controller is suboptimal on purpose because we are enforcing real-time requirements assuming that it is impossible to solve the given large-scale QP in the given amount of time. In this context, a key contribution of this paper is that we provide a bound on the sub-optimality of the controller. Our numerical simulations illustrate that the proposed explicit real-time scheme easily scales up to systems with hundreds of states and long control horizons, system sizes that are completely out of the scope of existing, non-suboptimal Explicit MPC controllers. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Interval Superposition Arithmetic for Guaranteed Parameter Estimation

Authors: Junyan Su, Yanlin Zha, Kai Wang, Mario E. Villanueva, Radoslav Paulen, Boris Houska

Abstract: The problem of guaranteed parameter estimation (GPE) consists in enclosing the set of all possible parameter values, such that the model predictions match the corresponding measurements within prescribed error bounds. One of the bottlenecks in GPE algorithms is the construction of enclosures for the image-set of factorable functions. In this paper, we introduce a novel set-based computing method c… ▽ More The problem of guaranteed parameter estimation (GPE) consists in enclosing the set of all possible parameter values, such that the model predictions match the corresponding measurements within prescribed error bounds. One of the bottlenecks in GPE algorithms is the construction of enclosures for the image-set of factorable functions. In this paper, we introduce a novel set-based computing method called interval superposition arithmetics (ISA) for the construction of enclosures of such image sets and its use in GPE algorithms. The main benefits of using ISA in the context of GPE lie in the improvement of enclosure accuracy and in the implied reduction of number set-membership tests of the set-inversion algorithm. △ Less

Submitted 29 October, 2018; originally announced October 2018.

Towards Distributed OPF using ALADIN

Authors: Alexander Engelmann, Yuning Jiang, Tillmann Mühlpfordt, Boris Houska, Timm Faulwasser

Abstract: The present paper discusses the application of the recently proposed Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) method to non-convex AC Optimal Power Flow Problems (OPF) in a distributed fashion. In contrast to the often used Alternating Direction of Multipliers Method (ADMM), ALADIN guarantees locally quadratic convergence for AC OPF. Numerical results for 5 to 300 bus tes… ▽ More The present paper discusses the application of the recently proposed Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) method to non-convex AC Optimal Power Flow Problems (OPF) in a distributed fashion. In contrast to the often used Alternating Direction of Multipliers Method (ADMM), ALADIN guarantees locally quadratic convergence for AC OPF. Numerical results for 5 to 300 bus test cases indicate that ALADIN is able to outperform ADMM and to reduce the number of iterations by about one order of magnitude. We compare ALADIN to numerical results for ADMM documented in the literature. The improved convergence speed comes at the cost of increasing the communication effort per iteration. Therefore, we propose a variant of ALADIN that uses inexact Hessians to reduce communication. Additionally, we provide a detailed comparison of these ALADIN variants to ADMM from an algorithmic and communication perspective. Moreover, we prove that ALADIN converges locally at quadratic rate even for the relevant case of suboptimally solved local NLPs. △ Less

Submitted 23 August, 2018; v1 submitted 23 February, 2018; originally announced February 2018.

Robust MPC via Min-Max Differential Inequalities

Authors: Mario E. Villanueva, Rien Quirynen, Moritz Diehl, Benoit Chachuat, Boris Houska

Abstract: This paper is concerned with tube-based model predictive control (MPC) for both linear and nonlinear, input-affine continuous-time dynamic systems that are affected by time-varying disturbances. We derive a min-max differential inequality describing the support function of positive robust forward invariant tubes, which can be used to construct a variety of tube-based model predictive controllers.… ▽ More This paper is concerned with tube-based model predictive control (MPC) for both linear and nonlinear, input-affine continuous-time dynamic systems that are affected by time-varying disturbances. We derive a min-max differential inequality describing the support function of positive robust forward invariant tubes, which can be used to construct a variety of tube-based model predictive controllers. These constructions are conservative, but computationally tractable and their complexity scales linearly with the length of the prediction horizon. In contrast to many existing tube-based MPC implementations, the proposed framework does not involve discretizing the control policy and, therefore, the conservatism of the predicted tube depends solely on the accuracy of the set parameterization. The proposed approach is then used to construct a robust MPC scheme based on tubes with ellipsoidal cross-sections. This ellipsoidal MPC scheme is based on solving an optimal control problem under linear matrix inequality constraints. We illustrate these results with the numerical case study of a spring-mass-damper system. △ Less

Submitted 11 November, 2016; originally announced November 2016.

Real-time Algorithm for Self-Reflective Model Predictive Control

Authors: Xuhui Feng, Boris Houska

Abstract: This paper is about a real-time model predictive control (MPC) algorithm for a particular class of model based controllers, whose objective consists of a nominal tracking objective and an additional learning objective. Here, the construction of the learning term is based on economic optimal experiment design criteria. It is added to the MPC objective in order to excite the system from time-to-time… ▽ More This paper is about a real-time model predictive control (MPC) algorithm for a particular class of model based controllers, whose objective consists of a nominal tracking objective and an additional learning objective. Here, the construction of the learning term is based on economic optimal experiment design criteria. It is added to the MPC objective in order to excite the system from time-to-time on purpose in order to improve the accuracy of the state and parameter estimates in the presence of incomplete or noise affected measurements. A particular focus of this paper is on so-called self-reflective model predictive control schemes, which have the property that the additional learning term can be interpreted as the expected loss of optimality of the controller in the presence of random measurement errors. The main contribution of this paper is a formulation-tailored algorithm, which exploits the particular structure of self-reflective MPC problems in order to speed-up the online computation. It is shown that, in contrast to generic state-of-the-art optimal control problem solvers, the proposed algorithm can solve the self-reflective optimization problems with reasonable additional computational effort and in real-time. The advantages of the proposed real-time scheme are illustrated by applying the algorithm to a nonlinear process control problem in the presence of measurement errors and process noise. △ Less

Submitted 8 November, 2016; originally announced November 2016.

Interval Superposition Arithmetic

Authors: Yanlin Zha, Mario E. Villanueva, Boris Houska

Abstract: This paper presents a novel set-based computing method, called interval superposition arithmetic, for enclosing the image set of multivariate factorable functions on a given domain. In order to construct such enclosures, the proposed arithmetic operates over interval superposition models which are parameterized by a matrix with interval components. Every point in the domain of a factorable functio… ▽ More This paper presents a novel set-based computing method, called interval superposition arithmetic, for enclosing the image set of multivariate factorable functions on a given domain. In order to construct such enclosures, the proposed arithmetic operates over interval superposition models which are parameterized by a matrix with interval components. Every point in the domain of a factorable function is then associated with a sequence of components of this matrix and the superposition, i.e. Minkowski sum, of these elements encloses the image of the function at this point. Interval superposition arithmetic has a linear runtime complexity with respect to the number of variables. Besides presenting a detailed theoretical analysis of the accuracy and convergence properties of interval superposition arithmetic, the paper illustrates its advantages compared to existing set arithmetics via numerical examples. △ Less

Submitted 13 February, 2018; v1 submitted 19 October, 2016; originally announced October 2016.

Self-reflective model predictive control

Authors: Boris Houska, Dries Telen, Filip Logist, Jan Van Impe

Abstract: This paper proposes a novel control scheme, named self-reflective model predictive control, which takes its own limitations in the presence of process noise and measurement errors into account. In contrast to existing output-feedback MPC and persistently exciting MPC controllers, the proposed self-reflective MPC controller does not only propagate a matrix-valued state forward in time in order to p… ▽ More This paper proposes a novel control scheme, named self-reflective model predictive control, which takes its own limitations in the presence of process noise and measurement errors into account. In contrast to existing output-feedback MPC and persistently exciting MPC controllers, the proposed self-reflective MPC controller does not only propagate a matrix-valued state forward in time in order to predict the variance of future state-estimates, but it also propagates a matrix-valued adjoint state backward in time. This adjoint state is used by the controller to compute and minimize a second order approximation of its own expected loss of control performance in the presence of random process noise and inexact state estimates. The properties of the proposed controller are illustrated with a small but non-trivial case study. △ Less

Submitted 28 April, 2017; v1 submitted 11 October, 2016; originally announced October 2016.