Second-Order Switching Time Optimization for Switched Dynamical Systems

Switching time optimization arises in finite-horizon optimal control for switched systems where, given a sequence of continuous dynamics, one minimizes a cost function with respect to the switching times. We propose an efficient method for computing the optimal switching times for switched linear and nonlinear systems. A novel second-order optimization algorithm is introduced where, at each iteration, the dynamics are linearized over an underlying time grid to compute the cost function, the gradient, and the Hessian efficiently. With the proposed method, the most expensive operations at each iteration are shared between the cost function and its derivatives, thereby greatly reducing the computational burden. We have implemented the algorithm in the Julia package SwitchTimeOpt, allowing users to easily solve switching time optimization problems. In the case of linear dynamics, many operations can be further simplified and benchmarks show that our approach is able to provide optimal solutions in just a few millisecond. In the case of nonlinear dynamics, our method provides optimal solutions with up to two orders of magnitude time reductions over state-of-the-art approaches.

[1]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

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

[3]  Feng Zhu,et al.  Optimal control of hybrid switched systems: A brief survey , 2015, Discret. Event Dyn. Syst..

[4]  C. Loan Computing integrals involving the matrix exponential , 1978 .

[5]  Magnus Egerstedt,et al.  On-Line Optimization of Switched-Mode Dynamical Systems , 2009, IEEE Transactions on Automatic Control.

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

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

[8]  Magnus Egerstedt,et al.  Transition-time optimization for switched-mode dynamical systems , 2006, IEEE Transactions on Automatic Control.

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

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

[11]  Ranjan Mukherjee,et al.  Optimally switched linear systems , 2008, Autom..

[12]  Cleve B. Moler,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later , 1978, SIAM Rev..

[13]  Todd D. Murphey,et al.  Second-Order Switching Time Optimization for Nonlinear Time-Varying Dynamic Systems , 2011, IEEE Transactions on Automatic Control.

[14]  WächterAndreas,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006 .

[15]  Alberto Bemporad,et al.  Optimal control of continuous-time switched affine systems , 2006, IEEE Transactions on Automatic Control.

[16]  Jamal Daafouz,et al.  Modal occupation measures and LMI relaxations for nonlinear switched systems control , 2014, Autom..

[17]  S. Shankar Sastry,et al.  Consistent Approximations for the Optimal Control of Constrained Switched Systems - Part 2: An Implementable Algorithm , 2013, SIAM J. Control. Optim..

[18]  Kathrin Flaßkamp,et al.  Discretized switching time optimization problems , 2013, 2013 European Control Conference (ECC).

[19]  Johan Eker,et al.  Hybrid control of a double tank system , 1997, Proceedings of the 1997 IEEE International Conference on Control Applications.

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

[21]  Jorge Nocedal,et al.  Knitro: An Integrated Package for Nonlinear Optimization , 2006 .

[22]  M. Hochbruck,et al.  Exponential integrators , 2010, Acta Numerica.

[23]  Nicholas J. Higham,et al.  The Scaling and Squaring Method for the Matrix Exponential Revisited , 2005, SIAM J. Matrix Anal. Appl..

[24]  Sanjeev Saxena,et al.  On Parallel Prefix Computation , 1994, Parallel Process. Lett..

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

[26]  M. Diehl,et al.  Numerical Methods for Optimal Control with Binary Control Functions Applied to a Lotka-Volterra Type Fishing Problem , 2006 .