On Perspective Functions and Vanishing Constraints in Mixed-Integer Nonlinear Optimal Control

Logical implications appear in a number of important mixed-integer nonlinear optimal control problems (MIOCPs). Mathematical optimization offers a variety of different formulations that are equivalent for boolean variables, but result in different relaxations. In this article we give an overview over a variety of different modeling approaches, including outer versus inner convexification, generalized disjunctive programming, and vanishing constraints. In addition to the tightness of the respective relaxations, we also address the issue of constraint qualification and the behavior of computational methods for some formulations. As a benchmark, we formulate a truck cruise control problem with logical implications resulting from gear-choice specific constraints. We provide this benchmark problem in AMPL format along with different realistic scenarios. Computational results for this benchmark are used to investigate feasibility gaps, integer feasibility gaps, quality of local solutions, and well-behavedness of the presented reformulations of the benchmark problem. Vanishing constraints give the most satisfactory results.

[1]  Stephen J. Wright,et al.  Some properties of regularization and penalization schemes for MPECs , 2004, Optim. Methods Softw..

[2]  Axel Klar,et al.  Optimal control for continuous supply network models , 2006, Networks Heterog. Media.

[3]  Sebastian Sager,et al.  Numerical methods for mixed-integer optimal control problems , 2006 .

[4]  Stephan Terwen,et al.  Predictive Powertrain Control for Heavy Duty Trucks , 2004 .

[5]  Christian Kanzow,et al.  Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications , 2008, Math. Program..

[6]  Anil V. Rao,et al.  Practical Methods for Optimal Control Using Nonlinear Programming , 1987 .

[7]  H. Bock,et al.  Efficient direct multiple shooting for nonlinear model predictive control on long horizons , 2012 .

[8]  B. T. Baumrucker,et al.  MPEC strategies for optimization of a class of hybrid dynamic systems , 2009 .

[9]  Erik Hellström,et al.  Look-ahead Control for Heavy Trucks to minimize Trip Time and Fuel Consumption , 2007 .

[10]  Wolfgang Marquardt,et al.  Disjunctive modeling for optimal control of hybrid systems , 2008, Comput. Chem. Eng..

[11]  Roger Fletcher,et al.  Nonlinear programming and nonsmooth optimization by successive linear programming , 1989, Math. Program..

[12]  Johannes P. Schlöder,et al.  An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization. Part 1: theoretical aspects , 2003, Comput. Chem. Eng..

[13]  Moritz Diehl,et al.  The integer approximation error in mixed-integer optimal control , 2012, Math. Program..

[14]  Marc C. Steinbach,et al.  Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks , 2009 .

[15]  Johannes P. Schlöder,et al.  A factorization with update procedures for a KKT matrix arising in direct optimal control , 2011, Math. Program. Comput..

[16]  S. Sager.  Reformulations and algorithms for the optimization of switching decisions in nonlinear optimal control , 2009 .

[17]  Stephen J. Wright,et al.  Elastic-mode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties , 2007, Math. Program..

[18]  Hans Bock,et al.  Determining the optimum cyclic operation of adsorption chillers by a direct method for periodic optimal control , 2011 .

[19]  L. Biegler,et al.  Nonlinear Programming Superstructure for Optimal Dynamic Operations of Simulated Moving Bed Processes , 2006 .

[20]  Christian Kirches,et al.  Mixed-integer nonlinear optimization*† , 2013, Acta Numerica.

[21]  Hanif D. Sherali,et al.  RLT: A unified approach for discrete and continuous nonconvex optimization , 2007, Ann. Oper. Res..

[22]  Christian Kanzow,et al.  Complementarity And Related Problems: A Survey , 1998 .

[23]  Armin Fügenschuh,et al.  Combinatorial and Continuous Models for the Optimization of Traffic Flows on Networks , 2006, SIAM J. Optim..

[24]  S. B. Doma,et al.  Single Particle Schrödinger Fluid and Moments of Inertia of the Even- Even Uranium Isotopes , 2009 .

[25]  Max Donath,et al.  American Control Conference , 1993 .

[26]  H. Bock,et al.  A Multiple Shooting Algorithm for Direct Solution of Optimal Control Problems , 1984 .

[27]  I. Grossmann.  Review of Nonlinear Mixed-Integer and Disjunctive Programming Techniques , 2002 .

[28]  Lorenz T. Biegler,et al.  Nonlinear Waves in Integrable and Nonintegrable Systems , 2018 .

[29]  Sven Leyffer,et al.  Solving mathematical programs with complementarity constraints as nonlinear programs , 2004, Optim. Methods Softw..

[30]  Sven Leyffer,et al.  A pivoting algorithm for linear programming with linear complementarity constraints , 2012, Optim. Methods Softw..

[31]  Oliver Stein,et al.  Mathematical programs with vanishing constraints: critical point theory , 2012, J. Glob. Optim..

[32]  Andreas Kroll,et al.  Integrated scheduling and dynamic optimization of grade transitions for a continuous polymerization reactor , 2008, Comput. Chem. Eng..

[33]  Matthias Gerdts,et al.  A variable time transformation method for mixed‐integer optimal control problems , 2006 .

[34]  Sebastian Sager,et al.  A BENCHMARK LIBRARY OF MIXED-INTEGER OPTIMAL CONTROL PROBLEMS , 2012 .

[35]  Lorenz T. Biegler,et al.  Mathematical programs with equilibrium constraints (MPECs) in process engineering , 2003, Comput. Chem. Eng..

[36]  Sebastián Ceria,et al.  Convex programming for disjunctive convex optimization , 1999, Math. Program..

[37]  Giorgio Battistelli,et al.  Unfalsified Virtual Reference Adaptive Switching Control of Plants with Persistent Disturbances , 2008 .

[38]  A. Fischer.  A special newton-type optimization method , 1992 .

[39]  Johannes P. Schlöder,et al.  An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization: Part II: Software aspects and applications , 2003, Comput. Chem. Eng..

[40]  Sanjay Mehrotra,et al.  Generating Convex Polynomial Inequalities for Mixed 0–1 Programs , 2002, J. Glob. Optim..

[41]  C. Kirches.  Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control , 2011 .

[42]  Stephan Dempe,et al.  Optimization with multivalued mappings : theory, applications and algorithms , 2006 .

[43]  Stefan Scholtes,et al.  Nonconvex Structures in Nonlinear Programming , 2004, Oper. Res..

[44]  Claudio Gentile,et al.  Perspective cuts for a class of convex 0–1 mixed integer programs , 2006, Math. Program..

[45]  Francisco Facchinei,et al.  A smoothing method for mathematical programs with equilibrium constraints , 1999, Math. Program..

[46]  Sebastian Sager,et al.  Relaxation methods for mixed-integer optimal control of partial differential equations , 2012, Computational Optimization and Applications.

[47]  Sven Leyffer,et al.  Mixed Integer Nonlinear Programming , 2011 .

[48]  M. Herty,et al.  Optimal Control for Traffic Flow Networks , 2005 .

[49]  Christian Kirches,et al.  Efficient multiple objective optimal control of dynamic systems with integer controls , 2010 .

[50]  Juan Yianatos,et al.  The long way toward multivariate predictive control of flotation processes , 2011 .

[51]  E. Balas.  Disjunctive programming and a hierarchy of relaxations for discrete optimization problems , 1985 .

[52]  Paul I. Barton,et al.  The modelling and simulation of combined discrete/continuous processes , 1992 .

[53]  Stefan Scholtes,et al.  Convergence Properties of a Regularization Scheme for Mathematical Programs with Complementarity Constraints , 2000, SIAM J. Optim..

[54]  Michael A. Saunders,et al.  SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization , 2002, SIAM J. Optim..

[55]  Oliver Stein.  Continuous Reformulations of Discrete-Continuous Optimization Problems , 2009, Encyclopedia of Optimization.

[56]  Lorenz T. Biegler,et al.  An MPEC formulation for dynamic optimization of distillation operations , 2004, Comput. Chem. Eng..

[57]  L. Biegler,et al.  Control and Optimization with Differential-Algebraic Constraints , 2012 .

[58]  Johannes P. Schlöder,et al.  Block-structured quadratic programming for the direct multiple shooting method for optimal control , 2011, Optim. Methods Softw..

[59]  Alexander Martin,et al.  Mixed Integer Models for the Stationary Case of Gas Network Optimization , 2006, Math. Program..

[60]  P. Abichandani,et al.  Multi-vehicle path coordination under communication constraints , 2008, 2008 American Control Conference.

[61]  Gerhard Reinelt,et al.  The Lagrangian relaxation for the combinatorial integral approximation problem , 2015, Optim. Methods Softw..

[62]  Sven Leyffer,et al.  A Globally Convergent Filter Method for MPECs , 2007 .

[63]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[64]  Olaf Stursberg,et al.  Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming , 2006, ADHS.

[65]  Oktay Günlük,et al.  Perspective reformulations of mixed integer nonlinear programs with indicator variables , 2010, Math. Program..

[66]  M. Gerdts.  Solving mixed‐integer optimal control problems by branch&bound: a case study from automobile test‐driving with gear shift , 2005 .

[67]  Gerhard Reinelt,et al.  Direct methods with maximal lower bound for mixed-integer optimal control problems , 2009, Math. Program..

[68]  M. Gerdts,et al.  Chapter 9: Mixed-Integer DAE Optimal Control Problems: Necessary Conditions and Bounds , 2012 .

[69]  M. Fukushima,et al.  "Reformulation: Nonsmooth, Piecewise Smooth, Semismooth and Smoothing Methods" , 2010 .

[70]  Jorge Nocedal,et al.  Interior Methods for Mathematical Programs with Complementarity Constraints , 2006, SIAM J. Optim..

[71]  S. Leyffer.  Complementarity constraints as nonlinear equations: Theory and numerical experience , 2006 .

[72]  H. Bock,et al.  Time‐optimal control of automobile test drives with gear shifts , 2010 .