FAST APPROXIMATION OF THE H∞ NORM VIA OPTIMIZATION OVER SPECTRAL VALUE SETS∗

The H∞ norm of a transfer matrix function for a control system is the reciprocal of the largest value of ε such that the associated ε-spectral value set is contained in the stability region for the dynamical system (the left half-plane in the continuous-time case and the unit disk in the discrete-time case). After deriving some fundamental properties of spectral value sets, particularly the intricate relationship between the singular vectors of the transfer matrix and the eigenvectors of the corresponding perturbed system matrix, we extend an algorithm recently introduced by Guglielmi and Overton [SIAM J. Matrix Anal. Appl., 32 (2011), pp. 1166–1192] for approximating the maximal real part or modulus of points in a matrix pseudospectrum to spectral value sets, characterizing its fixed points. We then introduce a Newton-bisection method to approximate the H∞ norm, for which each step requires optimization of the real part or the modulus over an ε-spectral value set. Although the algorithm is guaranteed only to find lower bounds on the H∞ norm, it typically finds good approximations in cases where we can test this. It is much faster than the standard Boyd– Balakrishnan–Bruinsma–Steinbuch algorithm to compute the H∞ norm when the system matrices are large and sparse and the number of inputs and outputs is small. The main work required by the algorithm is the computation of the spectral abscissa or radius of a sequence of matrices that are rank-one perturbations of a sparse matrix.

[1]  Gene H. Golub,et al.  Matrix computations , 1983 .

[2]  C. Loan How Near is a Stable Matrix to an Unstable Matrix , 1984 .

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

[4]  W. Press,et al.  Numerical Recipes: The Art of Scientific Computing , 1987 .

[5]  N. Higham COMPUTING A NEAREST SYMMETRIC POSITIVE SEMIDEFINITE MATRIX , 1988 .

[6]  R. Byers A Bisection Method for Measuring the Distance of a Stable Matrix to the Unstable Matrices , 1988 .

[7]  D. Hinrichsen,et al.  The complex stability radius of discrete-time systems and symplectic pencils , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[8]  S. Boyd,et al.  A regularity result for the singular values of a transfer matrix and a quadratically convergent algorithm for computing its L ∞ -norm , 1990 .

[9]  M. Steinbuch,et al.  A fast algorithm to computer the H ∞ -norm of a transfer function matrix , 1990 .

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

[11]  Chao Yang,et al.  ARPACK users' guide - solution of large-scale eigenvalue problems with implicitly restarted Arnoldi methods , 1998, Software, environments, tools.

[12]  Paul Van Dooren,et al.  Convergence of the calculation of Hoo norms and related questions , 1998 .

[13]  A. Lewis,et al.  A Nonsmooth, Nonconvex Optimization Approach to Robust Stabilization by Static Output Feedback and Low-Order Controllers , 2003 .

[14]  A. Lewis,et al.  Robust stability and a criss‐cross algorithm for pseudospectra , 2003 .

[15]  W. R. Howard,et al.  Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness , 2005 .

[16]  F. Leibfritz COMPleib: COnstrained Matrix–optimization Problem library – a collection of test examples for nonlinear semidefinite programs, control system design and related problems , 2006 .

[17]  Adrian S. Lewis,et al.  HIFOO - A MATLAB package for fixed-order controller design and H ∞ optimization , 2006 .

[18]  Panos J. Antsaklis,et al.  A Linear Systems Primer , 2007 .

[19]  D. Hinrichsen,et al.  Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness , 2010 .

[20]  Herbert Werner,et al.  Fixed-structure discrete-time ℌ∞ controller synthesis with HIFOO , 2010, 49th IEEE Conference on Decision and Control (CDC).

[21]  Alastair Spence,et al.  A Newton-based method for the calculation of the distance to instability , 2011 .

[22]  Michael L. Overton,et al.  Fast Algorithms for the Approximation of the Pseudospectral Abscissa and Pseudospectral Radius of a Matrix , 2011, SIAM J. Matrix Anal. Appl..

[23]  Michael L. Overton,et al.  Characterization and construction of the nearest defective matrix via coalescence of pseudospectral components , 2011 .

[24]  Петрова Светлана Николаевна,et al.  Анализ устойчивости перевернутого маятника в среде Matlab /control system Toolbox , 2012 .

[25]  M. Voigt,et al.  A Structured Pseudospectral Method for H-infinity-Norm Computation of Large-Scale Descriptor Systems , 2012 .

[26]  Michael L. Overton,et al.  Some Regularity Results for the Pseudospectral Abscissa and Pseudospectral Radius of a Matrix , 2012, SIAM J. Optim..

[27]  Daniel Kressner,et al.  Subspace Methods for Computing the Pseudospectral Abscissa and the Stability Radius , 2014, SIAM J. Matrix Anal. Appl..

[28]  L. Trefethen,et al.  Spectra and Pseudospectra , 2020 .