Integer Quadratic Programming for Control and Communication

The main topic of this thesis is integer quadratic programming with applications to problems arising in the areas of automatic control and communication. One of the most widespread modern control m ...

[1]  Stephen P. Boyd,et al.  ROBUST LINEAR PROGRAMMING AND OPTIMAL CONTROL , 2002 .

[2]  S. Andersson.  On Dimension Reduction in Sensor Array Signal Processing , 1992 .

[3]  Alberto Bemporad,et al.  A framework for control, fault detection, state estimation, and verification of hybrid systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[4]  T. Johansen,et al.  Computation and approximation of piecewise affine control laws via binary search trees , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[5]  Niclas Bergman,et al.  Recursive Bayesian Estimation : Navigation and Tracking Applications , 1999 .

[6]  Rickard Karlsson,et al.  Particle filtering for positioning and tracking applications , 2005 .

[7]  B. Schutter,et al.  On the equivalence of classes of hybrid dynamical models , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[8]  Andreas Eidehall,et al.  Tracking and threat assessment for automotive collision avoidance , 2007 .

[9]  Boris Polyak,et al.  Constrained minimization methods , 1966 .

[10]  Eckhard Arnold,et al.  An SQP-type solution method for constrained discrete-time optimal control problems , 1994 .

[11]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[12]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[13]  Predrag Pucar.  Modeling and Segmentation using Multiple Models , 1995 .

[14]  M. Morari,et al.  An efficient branch and bound algorithm for state estimation and control of hybrid systems , 1999, 1999 European Control Conference (ECC).

[15]  Sven Leyffer,et al.  Numerical Experience with Lower Bounds for MIQP Branch-And-Bound , 1998, SIAM J. Optim..

[16]  Alberto Bemporad,et al.  miqp. m: a Matlab function for solving Mixed Integer Quadratic Programs Version 1.02 - User Guide , 2000 .

[17]  E. Pistikopoulos,et al.  A multiparametric programming approach for mixed-integer quadratic engineering problems , 2002 .

[18]  M. S. Bazaraa,et al.  Nonlinear Programming , 1979 .

[19]  B. Lie,et al.  A comparison of implementation strategies for MPC , 2005 .

[20]  Peter A. J. Nagy.  Tools for Knowledge-Based Signal Processing with Applications to System Identification , 1992 .

[21]  Alberto Bemporad,et al.  On the Optimal Control Law for Linear Discrete Time Hybrid Systems , 2002, HSCC.

[22]  Zhi-Quan Luo,et al.  Quasi-maximum-likelihood multiuser detection using semi-definite relaxation with application to synchronous CDMA , 2002, IEEE Trans. Signal Process..

[23]  K. Edström.  Switched Bond Graphs : Simulation and Analysis , 1999 .

[24]  Krishna R. Pattipati,et al.  Fast optimal and suboptimal any-time algorithms for CDMA multiuser detection based on branch and bound , 2004, IEEE Transactions on Communications.

[25]  Sergio Verdu,et al.  Multiuser Detection , 1998 .

[26]  Johan Efberg,et al.  YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .

[27]  Erik Wernholt,et al.  Multivariable Frequency-Domain Identification of Industrial Robots , 2007 .

[28]  Kjell Nordström.  Uncertainty, Robustness and Sensitivity Reduction in the Design of Single Input Control Systems , 1987 .

[29]  J. Löfberg.  Minimax approaches to robust model predictive control , 2003 .

[30]  N. Meyers,et al.  H = W. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[31]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[32]  Ingela Lind,et al.  Regressor and Structure Selection Uses of ANOVA in System Identification , 2006 .

[33]  Daniel Axehill,et al.  A Low-Complexity High-Performance Preprocessing Algorithm for Multiuser Detection Using Gold Sequences , 2008, IEEE Transactions on Signal Processing.

[34]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[35]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[36]  E. Davison,et al.  Evaluation of a new algorithm for model predictive control based on non-feasible search directions using premature termination , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[37]  George H. Staus,et al.  Interior point SQP strategies for large-scale, structured process optimization problems , 1999 .

[38]  Graham C. Goodwin,et al.  RECEDING HORIZON LINEAR QUADRATIC CONTROL WITH FINITE INPUT CONSTRAINT SETS , 2002 .

[39]  P. Lindskog.  Methods, Algorithms and Tools for System Identification Based on Prior Knowledge , 1996 .

[40]  Tor Arne Johansen,et al.  Explicit model predictive control of gas-liquid separation plant , 2003, 2003 European Control Conference (ECC).

[41]  L. Biegler.  Advances in nonlinear programming concepts for process control , 1997 .

[42]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[43]  Peter L. Hammer,et al.  Boolean Methods in Operations Research and Related Areas , 1968 .

[44]  R. Saigal,et al.  Handbook of semidefinite programming : theory, algorithms, and applications , 2000 .

[45]  J. Sjöberg.  Non-Linear System Identification with Neural Networks , 1995 .

[46]  Thomas B. Schön,et al.  Estimation of Nonlinear Dynamic Systems : Theory and Applications , 2006 .

[47]  J. G. Andrews,et al.  Interference cancellation for cellular systems: a contemporary overview , 2005, IEEE Wireless Communications.

[48]  Anders Hansson,et al.  A primal-dual interior-point method for robust optimal control of linear discrete-time systems , 2000, IEEE Trans. Autom. Control..

[49]  Natashia Boland,et al.  A dual-active-set algorithm for positive semi-definite quadratic programming , 1997, Math. Program..

[50]  L. Vandenberghe,et al.  Interior-Point Algorithms for Semidefinite Programming Problems Derived from the KYP Lemma , 2005 .

[51]  H. Fortell.  Algebraic Approaches to Normal Forms and Zero Dynamics , 1995 .

[52]  Tor Arne Johansen,et al.  Design of reduced dimension explicit model predictive controller for a gas-liquid separation plant , 2003, The IEEE Region 8 EUROCON 2003. Computer as a Tool..

[53]  Alberto Bemporad,et al.  Performance driven reachability analysis for optimal scheduling and control of hybrid systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[54]  G. Goodwin,et al.  Finite constraint set receding horizon quadratic control , 2004 .

[55]  John E. Beasley,et al.  Heuristic algorithms for the unconstrained binary quadratic programming problem , 1998 .

[56]  Alex C. Kot,et al.  Decorrelator-based neighbour-searching multiuser detector in CDMA systems , 1996 .

[57]  S. Ljung.  Fast Algorithms for Integral Equations and Least Squares Identification Problems , 1983 .

[58]  Lennart Ljung,et al.  Adaptive control based on explicit criterion minimization , 1985, Autom..

[59]  Ola Härkegård,et al.  Backstepping and control allocation with applications to flight control , 2003 .

[60]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[61]  J. Gunnarsson.  Symbolic Methods and Tools for Discrete Event Dynamic Systems , 1997 .

[62]  John Fowles,et al.  The Tree , 1979 .

[63]  Stephen J. Wright.  Interior point methods for optimal control of discrete time systems , 1993 .

[64]  Jonas Elbornsson,et al.  Analysis, Estimation and Compensation of Mismatch Effects in A/D Converters , 2003 .

[65]  Anders Helmersson,et al.  Methods for robust gain scheduling , 1995 .

[66]  Manfred Morari,et al.  Hybrid Modeling and Control of a Hydroelectric Power Plant , 2000 .

[67]  Urban Forssell.  Closed-loop Identification : Methods, Theory, and Applications , 1999 .

[68]  Leon S. Lasdon,et al.  Optimization Theory of Large Systems , 1970 .

[69]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[70]  Yumin Lee,et al.  A novel low-complexity near-ML multiuser detector for DS-CDMA and MC-CDMA systems , 2002, Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE.

[71]  P. Wolfe.  A duality theorem for non-linear programming , 1961 .

[72]  Inger Klein,et al.  Automatic Synthesis of Sequential Control Schemes , 1993 .

[73]  Fred W. Glover,et al.  One-pass heuristics for large-scale unconstrained binary quadratic problems , 2002, Eur. J. Oper. Res..

[74]  Johan U. Backstrom,et al.  Quadratic programming algorithms for large-scale model predictive control , 2002 .

[75]  M. Powell.  On the quadratic programming algorithm of Goldfarb and Idnani , 1985 .

[76]  Daniel Axehill,et al.  A Preprocessing Algorithm Applicable to the Multiuser Detection Problem , 2005 .

[77]  David P. Williamson,et al.  .879-approximation algorithms for MAX CUT and MAX 2SAT , 1994, STOC '94.

[78]  J. J. Moré.  Gradient projection techniques for large-scale optimization problems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[79]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[80]  L. Biegler,et al.  Large scale inequality constrained optimization and control , 1998 .

[81]  Håkan Hjalmarsson.  Aspects on Incomplete Modeling in System Identification , 1993 .

[82]  Bernd Freisleben,et al.  Greedy and Local Search Heuristics for Unconstrained Binary Quadratic Programming , 2002, J. Heuristics.

[83]  M. Baotic,et al.  An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[84]  Alberto Bemporad,et al.  A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems , 2003, HSCC.

[85]  P. Toint,et al.  Global convergence of a class of trust region algorithms for optimization with simple bounds , 1988 .

[86]  C. Panne,et al.  The Simplex and the Dual Method for Quadratic Programming , 1964 .

[87]  W. S. Dorn,et al.  Self-Dual Quadratic Programs , 1961 .

[88]  H. Jonson.  A Newton Method for Solving Non-Linear Optimal Control Problems with General Constraints , 1983 .

[89]  Mats Viberg,et al.  Subspace fitting concepts in sensor array processing , 1990 .

[90]  Mille Millnert,et al.  Identification and Control of Systems Subject to Abrupt Changes , 1983 .

[91]  L. Ljung,et al.  Identification of hybrid systems via mixed-integer programming , 2001 .

[92]  D. Axehill,et al.  A Mixed Integer Dual Quadratic Programming Algorithm Tailored for MPC , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[93]  Jean Thomas,et al.  Predictive control of hybrid systems under a multi-MLD formalism with state space polyhedral partition , 2004 .

[94]  Martin W. P. Savelsbergh,et al.  Preprocessing and Probing Techniques for Mixed Integer Programming Problems , 1994, INFORMS J. Comput..

[95]  B. Wahlberg.  On the Identification and Approximation of Linear Systems , 1987 .

[96]  A. Isaksson.  On System Identification in one and two Dimensions with Signal Processing Applications , 1988 .

[97]  F. Gustafsson.  Estimation of Discrete Parameters in Linear Systems , 1993 .

[98]  Fredrik Gunnarsson.  Power control in cellular radio system: Analysis, design and estimation , 2000 .

[99]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[100]  Markus Gerdin.  Identification and Estimation for Models Described by Differential-Algebraic Equations , 2006 .

[101]  Jonas Gillberg.  Frequency Domain Identification of Continuous-Time Systems : Reconstruction and Robustness , 2006 .

[102]  A. Goldstein.  Convex programming in Hilbert space , 1964 .

[103]  Yinyu Ye,et al.  Approximating quadratic programming with bound and quadratic constraints , 1999, Math. Program..

[104]  Alex J. Grant,et al.  Polynomial complexity optimal detection of certain multiple-access systems , 2000, IEEE Trans. Inf. Theory.

[105]  Svante Gunnarsson.  Frequency Domain Aspects of Modeling and Control in Adaptive Systems , 1988 .

[106]  J. Imura,et al.  An efficient algorithm for optimal control of hybrid dynamical systems utilizing mode transition rule , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[107]  B. Bengtsson.  On some Control Problems for Queues , 1982 .

[108]  Tor Arne Johansen,et al.  Survey of Explicit Approaches to Constrained Optimal Control , 2003, European Summer School on Multi-AgentControl.

[109]  L. Biegler,et al.  Active set vs. interior point strategies for model predictive control , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[110]  Alberto Bemporad,et al.  Moving horizon estimation for hybrid systems and fault detection , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[111]  Alberto Bemporad,et al.  Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form , 2004, IEEE Transactions on Automatic Control.

[112]  Daniel Axehill,et al.  Adaptive Cruise Control for Heavy Vehicles : Hybrid Control and MPC , 2003 .

[113]  Alberto Bemporad,et al.  An algorithm for multi-parametric quadratic programming and explicit MPC solutions , 2003, Autom..

[114]  Todor Stoilov,et al.  Noniterative Coordination in Multilevel Systems , 1999 .

[115]  V. A. Roshchin,et al.  Models and methods of solution of quadratic integer programming problems , 1987 .

[116]  S.K. Wilson,et al.  A low complexity threshold detector making MLSD decisions in a multiuser environment , 1998, VTC '98. 48th IEEE Vehicular Technology Conference. Pathway to Global Wireless Revolution (Cat. No.98CH36151).

[117]  B. Griffith,et al.  Proof of concept: hemodynamic response to long-term partial ventricular support with the synergy pocket micro-pump. , 2009, Journal of the American College of Cardiology.

[118]  D. Bertsekas.  Projected Newton methods for optimization problems with simple constraints , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[119]  Anders Stenman,et al.  Model on Demand: Algorithms, Analysis and Applications , 1999 .

[120]  Anthony Ephremides,et al.  Solving a Class of Optimum Multiuser Detection Problems with Polynomial Complexity , 1998, IEEE Trans. Inf. Theory.

[121]  Fredrik Tjärnström,et al.  Variance Expressions and Model Reduction in System Identification , 2002 .

[122]  Alberto Bemporad,et al.  Model predictive control based on linear programming - the explicit solution , 2002, IEEE Transactions on Automatic Control.

[123]  Daniel Axehill,et al.  A preprocessing algorithm for MIQP solvers with applications to MPC , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[124]  Roy D. Yates,et al.  Optimum multiuser detection is tractable for synchronous CDMA systems using m-sequences , 1998, IEEE Communications Letters.

[125]  T. McKelvey.  Identification of State-Space Models from Time and Frequency Data , 1995 .

[126]  C. Helmberg,et al.  Solving quadratic (0,1)-problems by semidefinite programs and cutting planes , 1998 .

[127]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[128]  Daniel Axehill,et al.  ON RELAXATIONS APPLICABLE TO MODEL PREDICTIVE CONTROL FOR SYSTEMS WITH BINARY CONTROL SIGNALS , 2007 .

[129]  Bart De Schutter,et al.  MPC for continuous piecewise-affine systems , 2004, Syst. Control. Lett..

[130]  Roy Fisher,et al.  It Follows That , 1994 .

[131]  Jean B. Lasserre,et al.  Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..

[132]  Magnus Åkerblad,et al.  A second order cone programming algorithm for model predictive control , 2002 .

[133]  Jan-Erik Strömberg,et al.  A Mode Switching Modelling Philosophy , 1994 .

[134]  Magnus Larsson,et al.  Behavioral and Structural Model Based Approaches to Discrete Diagnosis , 1999 .

[135]  Valur Einarsson.  Model Checking Methods for Mode Switching Systems , 2000 .

[136]  Lars K. Rasmussen,et al.  An asynchronous multiuser CDMA detector based on the Kalman filter , 1998, IEEE J. Sel. Areas Commun..

[137]  R. Fletcher.  Practical Methods of Optimization , 1988 .

[138]  G. Nemhauser,et al.  Integer Programming , 2020 .

[139]  Christina Grönwall.  Ground Object Recognition using Laser Radar Data : Geometric Fitting, Performance Analysis, and Applications , 2006 .

[140]  M. Morari,et al.  Temporal Lagrangian decomposition of model predictive control for hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[141]  Mikael Norrlöf,et al.  Iterative Learning Control : Analysis, Design, and Experiments , 2000 .

[142]  Tommy Svensson.  Mathematical Tools and Software for Analysis and Design of Nonlinear Control Systems , 1992 .

[143]  C. R. Cutler,et al.  Dynamic matrix control¿A computer control algorithm , 1979 .

[144]  C. E. Lemke,et al.  A Method of Solution for Quadratic Programs , 1962 .

[145]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[146]  Jakob Roll.  Local and Piecewise Affine Approaches to System Identification , 2003 .

[147]  Krishna R. Pattipati,et al.  Speed and accuracy comparison of techniques for multiuser detection in synchronous CDMA , 2004, IEEE Transactions on Communications.

[148]  Y. Nesterov.  Quality of semidefinite relaxation for nonconvex quadratic optimization , 1997 .

[149]  Donald Goldfarb,et al.  A numerically stable dual method for solving strictly convex quadratic programs , 1983, Math. Program..

[150]  L. Biegler,et al.  QPSchur: A dual, active-set, Schur-complement method for large-scale and structured convex quadratic programming , 2006 .

[151]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[152]  J. J. Moré,et al.  Algorithms for bound constrained quadratic programming problems , 1989 .

[153]  Stephen J. Wright,et al.  Numerical Optimization , 2018, Fundamental Statistical Inference.

[154]  M. Enqvist.  Linear models of nonlinear systems , 2005 .

[155]  M. Jirstrand.  Constructive Methods for Inequality Constraints in Control , 1998 .

[156]  Bernard H. Fleury,et al.  Approximate maximum-likelihood estimation using semidefinite programming , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[157]  Kengo Katayama,et al.  Performance of simulated annealing-based heuristic for the unconstrained binary quadratic programming problem , 2001, Eur. J. Oper. Res..

[158]  S. Lupuleac,et al.  On spatial variational problems in the gas lubrication theory , 1996 .

[159]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[160]  Ragnar Wallin,et al.  Optimization Algorithms for System Analysis and Identification , 2004 .

[161]  Stephen J. Wright,et al.  Application of Interior-Point Methods to Model Predictive Control , 1998 .

[162]  K. Forsman.  Constructive Commutative Algebra in Nonlinear Control Theory , 1991 .

[163]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[164]  Daniel Axehill,et al.  A dual gradient projection quadratic programming algorithm tailored for model predictive control , 2008, 2008 47th IEEE Conference on Decision and Control.

[165]  D. Bertsekas,et al.  CONVERGENCE OF A GRADIENT PROJECTION METHOD , 1982 .

[166]  Daniel Axehill,et al.  Relaxations applicable to mixed integer predictive control comparisons and efficient computations , 2007, 2007 46th IEEE Conference on Decision and Control.

[167]  Per Ödling,et al.  Making MLSD decisions by thresholding the matched filter output , 2000, IEEE Trans. Commun..

[168]  Fredrik Gunnarsson,et al.  Uplink load in CDMA cellular radio systems , 2006, IEEE Transactions on Vehicular Technology.

[169]  Y. Nesterov.  Global quadratic optimization via conic relaxation , 1998 .

[170]  Daniel Axehill,et al.  Applications of Integer Quadratic Programming in Control and Communication , 2005 .

[171]  Masakazu Kojima,et al.  Generalized Lagrangian Duals and Sums of Squares Relaxations of Sparse Polynomial Optimization Problems , 2005, SIAM J. Optim..

[172]  R. Milman,et al.  Fast computation of the quadratic programming subproblem in model predictive control , 2003, Proceedings of the 2003 American Control Conference, 2003..

[173]  Alain Billionnet,et al.  Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem , 2007, Math. Program..

[174]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[175]  D. Bertsekas.  On the Goldstein-Levitin-Polyak gradient projection method , 1974, CDC 1974.

[176]  Graham C. Goodwin,et al.  Constrained Control and Estimation: an Optimization Approach , 2004, IEEE Transactions on Automatic Control.