Online Convex Optimization with Binary Constraints

We consider online optimization with binary decision variables and convex loss functions. We design a new algorithm, binary online gradient descent (bOGD) and bound its expected dynamic regret. We provide a regret bound that holds for any time horizon and a specialized bound for finite time horizons. First, we present the regret as the sum of the relaxed, continuous round optimum tracking error and the rounding error of our update in which the former asymptomatically decreases with time under certain conditions. Then, we derive a finite-time bound that is sublinear in time and linear in the cumulative variation of the relaxed, continuous round optima. We apply bOGD to demand response with thermostatically controlled loads, in which binary constraints model discrete on/off settings. We also model uncertainty and varying load availability, which depend on temperature deadbands, lockout of cooling units and manual overrides. We test the performance of bOGD in several simulations based on demand response. The simulations corroborate that the use of randomization in bOGD does not significantly degrade performance while making the problem more tractable

Robust feedback model predictive control of norm-bounded uncertain systems

This thesis is concerned with the Robust Model Predictive Control (RMPC) of linear discrete-time systems subject to norm-bounded model-uncertainty, additive disturbances and hard constraints on the input and state. The aim is to design tractable, feedback RMPC algorithms that are based on linear matrix inequality (LMI) optimizations. The notion of feedback is very important in the RMPC control parameterization since it enables effective disturbance/uncertainty rejection and robust constraint satisfaction. However, treating the state-feedback gain as an optimization variable leads to non-convexity and nonlinearity in the RMPC scheme for norm-bounded uncertain systems. To address this problem, we propose three distinct state-feedback RMPC algorithms which are all based on (convex) LMI optimizations. In the first scheme, the aforementioned non-convexity is avoided by adopting a sequential approach based on the principles of Dynamic Programming. In particular, the feedback RMPC controller minimizes an upper-bound on the cost-to-go at each prediction step and incorporates the state/input constraints in a non-conservative manner. In the second RMPC algorithm, new results, based on slack variables, are proposed which help to obtain convexity at the expense of only minor conservatism. In the third and final approach, convexity is achieved by re-parameterizing, online, the norm-bounded uncertainty as a polytopic (additive) disturbance. All three RMPC schemes drive the uncertain-system state to a terminal invariant set which helps to establish Lyapunov stability and recursive feasibility. Low-complexity robust control invariant (LC-RCI) sets, when used as target sets, yield computational advantages for the associated RMPC schemes. A convex algorithm for the simultaneous computation of LC-RCI sets and the corresponding controller for norm-bounded uncertain systems is also presented. In this regard, two novel results to separate bilinear terms without conservatism are proposed. The results being general in nature also have application in other control areas. The computed LC-RCI sets are shown to have substantially improved volume as compared to other schemes in the literature. Finally, an output-feedback RMPC algorithm is also derived for norm-bounded uncertain systems. The proposed formulation uses a moving window of the past input/output data to generate (tight) bounds on the current state. These bounds are then used to compute an output-feedback RMPC control law using LMI optimizations. An output-feedback LC-RCI set is also designed, and serves as the terminal set in the algorithm.Open Acces

Mixed-integer Nonlinear Optimization: a hatchery for modern mathematics

The second MFO Oberwolfach Workshop on Mixed-Integer Nonlinear Programming (MINLP) took place between 2nd and 8th June 2019. MINLP refers to one of the hardest Mathematical Programming (MP) problem classes, involving both nonlinear functions as well as continuous and integer decision variables. MP is a formal language for describing optimization problems, and is traditionally part of Operations Research (OR), which is itself at the intersection of mathematics, computer science, engineering and econometrics. The scientific program has covered the three announced areas (hierarchies of approximation, mixed-integer nonlinear optimal control, and dealing with uncertainties) with a variety of tutorials, talks, short research announcements, and a special "open problems'' session

Convex optimization of launch vehicle ascent trajectories

This thesis investigates the use of convex optimization techniques for the ascent trajectory design and guidance of a launch vehicle. An optimized mission design and the implementation of a minimum-propellant guidance scheme are key to increasing the rocket carrying capacity and cutting the costs of access to space. However, the complexity of the launch vehicle optimal control problem (OCP), due to the high sensitivity to the optimization parameters and the numerous nonlinear constraints, make the application of traditional optimization methods somewhat unappealing, as either significant computational costs or accurate initialization points are required. Instead, recent convex optimization algorithms theoretically guarantee convergence in polynomial time regardless of the initial point. The main challenge consists in converting the nonconvex ascent problem into an equivalent convex OCP. To this end, lossless and successive convexification methods are employed on the launch vehicle problem to set up a sequential convex optimization algorithm that converges to the solution of the original problem in a short time. Motivated by the computational efficiency and reliability of the devised optimization strategy, the thesis also investigates the suitability of the convex optimization approach for the computational guidance of a launch vehicle upper stage in a model predictive control (MPC) framework. Being MPC based on recursively solving onboard an OCP to determine the optimal control actions, the resulting guidance scheme is not only performance-oriented but intrinsically robust to model uncertainties and random disturbances thanks to the closed-loop architecture. The characteristics of real-world launch vehicles are taken into account by considering rocket configurations inspired to SpaceX's Falcon 9 and ESA's VEGA as case studies. Extensive numerical results prove the convergence properties and the efficiency of the approach, posing convex optimization as a promising tool for launch vehicle ascent trajectory design and guidance algorithms