Peak Estimation for Uncertain and Switched Systems

Peak estimation bounds extreme values of a function of state along trajectories of a dynamical system. This paper focuses on extending peak estimation to continuous and discrete settings with timeindependent and time-dependent uncertainty. Techniques from optimal control are used to incorporate uncertainty into an existing occupation measure-based peak estimation framework, which includes special consideration for handling switching uncertainties. The resulting infinite-dimensional linear programs can be solved approximately with Linear Matrix Inequalities arising from the moment-SOS hierarchy.

[1]  Didier Henrion,et al.  GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi , 2003, TOMS.

[2]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..

[3]  Giovanni Fantuzzi,et al.  Bounding Extreme Events in Nonlinear Dynamics Using Convex Optimization , 2019, SIAM J. Appl. Dyn. Syst..

[4]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[5]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[6]  L. C. Young,et al.  Generalized Surfaces in the Calculus of Variations , 1942 .

[7]  Raphaël M. Jungers,et al.  Polytopic uncertainty for linear systems: New and old complexity results , 2013, Syst. Control. Lett..

[8]  Didier Henrion,et al.  Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems , 2017, SIAM J. Control. Optim..

[9]  A. Goriely.  Integrability and Nonintegrability of Dynamical Systems , 2001 .

[10]  Martine Ganet-Schoeller,et al.  Measures and LMI for Space Launcher Robust Control Validation , 2012, ROCOND.

[11]  Kurt Helmes,et al.  Computing Moments of the Exit Time Distribution for Markov Processes by Linear Programming , 2001, Oper. Res..

[12]  A. Jadbabaie,et al.  Approximation of the joint spectral radius using sum of squares , 2007, 0712.2887.

[13]  Richard B. Vinter,et al.  Relaxation of optimal control problems to equivalent convex programs , 1980 .

[14]  Bai Xue,et al.  Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties , 2018, IEEE Transactions on Automatic Control.

[15]  Richard H. Stockbridge,et al.  Linear Programming Formulation for Optimal Stopping Problems , 2001, SIAM J. Control. Optim..

[16]  Mario Sznaier,et al.  Peak Estimation Recovery and Safety Analysis , 2021, IEEE Control Systems Letters.

[17]  J. Lasserre.  Moments, Positive Polynomials And Their Applications , 2009 .