A Finite-Time Cutting Plane Algorithm for Distributed Mixed Integer Linear Programming

Many problems of interest for cyber-physical network systems can be formulated as Mixed Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithm to solve this class of optimization problems in a peer-to-peer network with no coordinator and with limited computation and communication capabilities. In the proposed algorithm, at each communication round, agents solve locally a small LP, generate suitable cutting planes, namely intersection cuts and cost-based cuts, and communicate a fixed number of active constraints, i.e., a candidate optimal basis. We prove that, if the cost is integer, the algorithm converges to the lexicographically minimal optimal solution in a finite number of communication rounds. Finally, through numerical computations, we analyze the algorithm convergence as a function of the network size.Comment: 6 pages, 3 figure

Probability-guaranteed H∞ finite-horizon filtering for a class of nonlinear time-varying systems with sensor saturations

This is the Post-Print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 ElsevierIn this paper, the probability-guaranteed H∞ finite-horizon filtering problem is investigated for a class of nonlinear time-varying systems with uncertain parameters and sensor saturations. The system matrices are functions of mutually independent stochastic variables that obey uniform distributions over known finite ranges. Attention is focused on the construction of a time-varying filter such that the prescribed H∞ performance requirement can be guaranteed with probability constraint. By using the difference linear matrix inequalities (DLMIs) approach, sufficient conditions are established to guarantee the desired performance of the designed finite-horizon filter. The time-varying filter gains can be obtained in terms of the feasible solutions of a set of DLMIs that can be recursively solved by using the semi-definite programming method. A computational algorithm is specifically developed for the addressed probability-guaranteed H∞ finite-horizon filtering problem. Finally, a simulation example is given to illustrate the effectiveness of the proposed filtering scheme.This work was supported in part by the National Natural Science Foundation of China under Grants 61028008, 60825303 and 60834003, National 973 Project under Grant 2009CB320600, the Fok Ying Tung Education Fund under Grant 111064, the Special Fund for the Author of National Excellent Doctoral Dissertation of China under Grant 2007B4, the Key Laboratory of Integrated Automation for the Process Industry (Northeastern University) from the Ministry of Education of China, the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. under Grant GR/S27658/01, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

OSQP: An Operator Splitting Solver for Quadratic Programs

We present a general-purpose solver for convex quadratic programs based on the alternating direction method of multipliers, employing a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix at almost every iteration. Our algorithm is very robust, placing no requirements on the problem data such as positive definiteness of the objective function or linear independence of the constraint functions. It can be configured to be division-free once an initial matrix factorization is carried out, making it suitable for real-time applications in embedded systems. In addition, our technique is the first operator splitting method for quadratic programs able to reliably detect primal and dual infeasible problems from the algorithm iterates. The method also supports factorization caching and warm starting, making it particularly efficient when solving parametrized problems arising in finance, control, and machine learning. Our open-source C implementation OSQP has a small footprint, is library-free, and has been extensively tested on many problem instances from a wide variety of application areas. It is typically ten times faster than competing interior-point methods, and sometimes much more when factorization caching or warm start is used. OSQP has already shown a large impact with tens of thousands of users both in academia and in large corporations