Applications of Integer Quadratic Programming in 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 p ...

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

[2]  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).

[3]  Fredrik Gustafsson,et al.  Power Control in Cellular Radio Systems : Analysis and Design , 1999 .

[4]  F. Gustafsson.  Optimal Segmentation of Linear Regression Parameters , 1991 .

[5]  M. Enqvist.  Some Results on Linear Models of Nonlinear Systems , 2003 .

[6]  Magnus Larsson,et al.  On Modeling and Diagnosis of Discrete Event Dynamic Systems , 1997 .

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

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

[9]  Jan Palmqvist.  On Integrity Monitoring of Integrated Navigation Systems , 1997 .

[10]  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).

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

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

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

[14]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[15]  K. Schittkowski,et al.  NONLINEAR PROGRAMMING , 2022 .

[16]  Thomas B. Schön,et al.  On computational methods for nonlinear estimation , 2003 .

[17]  Anna Hagenblad,et al.  Aspects of the Identification of Wiener Models , 1999 .

[18]  Fredrik Tjärnström,et al.  Quality Estimation of Approximate Models , 2000 .

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

[20]  Karl Kunisch,et al.  A Comparison of a Moreau-Yosida-Based Active Set Strategy and Interior Point Methods for Constrained Optimal Control Problems , 2000, SIAM J. Optim..

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

[22]  Peter Andersson.  Adaptive Forgetting through Multiple Models and Adaptive Control of Car Dynamics , 1983 .

[23]  Fredrik Gustafsson,et al.  Power Control in Cellular Radio Systems , 2000 .

[24]  Urban Forssell.  Properties and Usage of Closed-loop Identification Methods , 1997 .

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

[26]  Franz Rendl,et al.  An Infeasible Active Set Method for Quadratic Problems with Simple Bounds , 2003, SIAM J. Optim..

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

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

[29]  J. Plantin.  Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems , 1995 .

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

[31]  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..

[32]  A. G. Wills,et al.  INTERIOR-POINT METHODS FOR LINEAR MODEL PREDICTIVE CONTROL , 2004 .

[33]  D. Lindgren.  Subspace Selection Techniques for Classification Problems , 2002 .

[34]  Kanti Swarup,et al.  A Duality Theorem for Non-Linear Programming , 1965 .

[35]  Krister Edström,et al.  Simulation of Mode Switching Systems Using Switched Bond Graphs , 1996 .

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

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

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

[39]  Christodoulos A. Floudas,et al.  Nonlinear and Mixed-Integer Optimization , 1995 .

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

[41]  Svante Björklund,et al.  A Survey and Comparison of Time-Delay Estimation Methods in Linear Systems , 2003 .

[42]  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).

[43]  Predrag Pucar.  Segmentation of Laser Range Radar Images using Hidden Markov Field Models , 1993 .

[44]  H. Fortell.  Volterra and Algebraic Approaches to the Zero Dynamics , 1994 .

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

[46]  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).

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

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

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

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

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

[52]  Dip. Ingegneria dell’Informazione.  A Logic-Based Hybrid Solver for Optimal Control of Hybrid Systems , 2003 .

[53]  Mikael Norrlöf,et al.  On Analysis and Implementation of Iterative Learning Control , 1998 .

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

[55]  B. Wahlberg.  On Model Simplification in System Identification , 1985 .

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

[57]  Alberto Bemporad,et al.  A Matlab function for solving Mixed Integer Quadratic Programs Version 1 . 06 User Guide , 2001 .

[58]  J. Gunnarsson.  On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods , 1995 .

[59]  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).

[60]  Peter Peter.  MaMiS : A Programming Environment for Numerical/Symbolic Data Processing , 1988 .

[61]  Valur Einarsson.  On Verification of Switched Systems using Abstractions , 1998 .

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

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

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

[65]  Claes Olsson,et al.  Active Engine Vibration Isolation using Feedback Control , 2002 .

[66]  Gert Malmberg.  A Study of Adaptive Control of Missiles , 1986 .

[67]  J. Sjöberg.  Regularization Issues in Neural Network Models of Dynamical Systems , 1993 .

[68]  Jonas Elbornsson,et al.  Equalization of Distortion in A/D Converters , 2001 .

[69]  Bernard Fino,et al.  Multiuser detection: , 1999, Ann. des Télécommunications.

[70]  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).

[71]  Ola Härkegård,et al.  Flight Control Design using Backstepping , 2001 .

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

[73]  K. Kunisch,et al.  Primal-Dual Strategy for Constrained Optimal Control Problems , 1999 .

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

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

[76]  Mats Viberg.  On the Adaptive Array Problem , 1987 .

[77]  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.

[78]  Anders Skeppstedt.  Construction of composite models from large data-sets , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

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

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

[81]  Svante Gunnarsson.  On the Mean Square Error of Transfer Function Estimates with Applications to Control , 1986 .

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

[83]  Mille Millnert,et al.  Vehicle size and orientation estimation using geometric fitting , 2001 .

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

[85]  T. Andersson.  Concepts and Algorithms for Non-Linear System Identifiability , 1994 .

[86]  Jakob Roll.  Robust Verification and Identification of Piecewise Affine Systems , 2001 .

[87]  Didier Dumur,et al.  Predictive control of hybrid systems under a multi-MLD formalism with state space polyhedral partition , 2003, Proceedings of the 2004 American Control Conference.

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

[89]  Magnus Andersson.  Experimental Design and Updating of Finite Element Models , 1997 .

[90]  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).

[91]  Alf Isaksson.  Identification of Time Varying Systems and Application of System Identification to Signal Processing , 1986 .

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

[93]  K. Forsman.  Applications of Constructive Algebra to Control Problems , 1990 .

[94]  P. Nordlund.  Sequential Monte Carlo Filters and Integrated Navigation , 2002 .

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

[96]  K. Chen.  Observability and Invertability of Nonlinear Systems : A Differential Algebraic Approach , 1991 .

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

[98]  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..

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

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

[101]  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..

[102]  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).

[103]  I. Klein.  Planning for a Class of Sequential Control Problems , 1989 .

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

[105]  Tracking and decision making for automotive collision avoidance , 2002 .

[106]  Frida Gunnarsson.  On Modeling and Control of Network Queue Dynamics , 2003 .

[107]  M. Jirstrand.  Algebraic Methods for Modeling and Design in Control , 1996 .

[108]  T. McKelvey.  On State-Space Models in System Identification , 1994 .

[109]  G. Hendeby,et al.  Fundamental Estimation and Detection Limits in Linear Non-Gaussian Systems , 2005 .

[110]  Erik Geijer Lundin,et al.  Uplink Load in CDMA Cellular Systems , 2003 .

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

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

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

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

[115]  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).

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

[117]  A. Stenman.  Just-in-Time Models with Applications to Dynamical Systems , 1997 .

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

[119]  Håkan Hjalmarsson.  On Estimation of Model Quality in System Identification , 1990 .

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

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

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

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

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

[125]  P. Lindskog.  Algorithms and Tools for System Identification Using Prior Knowledge , 1994 .

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

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

[128]  J. Löfberg,et al.  Linear Model Predictive Control Stability and Robustness , 2001 .

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

[130]  Jonas Gillberg,et al.  Methods for Frequency Domain Estimation of Continuous-Time Models , 2004 .

[131]  Krishna R. Pattipati,et al.  Speed and accuracy comparison of techniques to solve a binary quadratic programming problem with applications to synchronous CDMA , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

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

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

[134]  Rickard Karlsson,et al.  Simulation Based Methods for Target Tracking , 2002 .

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

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

[137]  Andreas Eidehall,et al.  An Automotive Lane Guidance System , 2004 .

[138]  Stephen J. Wright,et al.  Applying new optimization algorithms to more predictive control , 1996 .

[139]  Sören Andersson.  Sensor Array Processing : Application to Mobile Communication Systems and Dimension Reduction , 1990 .

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

[141]  Erik Wernholt,et al.  On Multivariable and Nonlinear Identification of Industrial Robots , 2004 .

[142]  Ingela Lind.  Regressor Selection in System Identification using ANOVA , 2001 .

[143]  Niclas Persson,et al.  Event Based Sampling with Application to Spectral Estimation , 2002 .

[144]  K. Ståhl.  On the Frequency Domain Analysis of Nonlinear Systems , 1988 .

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

[146]  N. Bergman.  Bayesian Inference in Terrain Navigation , 1997 .

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

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

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

[150]  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.

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

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

[153]  Mille Millnert,et al.  Fast Power Control to Counteract Rayleigh Fading in Cellular Radio Systems , 1995 .

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

[155]  Structured Interior Point Sqp Methods in Optimal Control , 1996 .