Peak Estimation Recovery and Safety Analysis

Peak Estimation aims to find the maximum value of a state function achieved by a dynamical system. This problem has been previously cast as a convex infinite-dimensional linear program on occupation measures, which can be approximately solved by a converging hierarchy of moment relaxations. In this letter, we present an algorithm to approximate optimal trajectories if the solutions to these relaxations satisfy rank constraints. We also extend peak estimation to maximin and safety analysis problems, providing a certificate that trajectories are bounded away from an unsafe set.

[1]  Colin Neil Jones,et al.  Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems , 2013, SIAM J. Control. Optim..

[2]  Hector O. Fattorini,et al.  Infinite Dimensional Optimization and Control Theory: References , 1999 .

[3]  Matteo Tacchi,et al.  Transient Stability Analysis of Power Systems via Occupation Measures , 2018, 2019 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT).

[4]  A. Rantzer,et al.  On Analysis and Synthesis of Safe Control Laws , 2004 .

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

[6]  Bernard Mourrain,et al.  A generalized flat extension theorem for moment matrices , 2009 .

[7]  J. Lasserre,et al.  Detecting global optimality and extracting solutions in GloptiPoly , 2003 .

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

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

[10]  Didier Henrion,et al.  Convex Computation of the Region of Attraction of Polynomial Control Systems , 2012, IEEE Transactions on Automatic Control.

[11]  Stephen Prajna.  Barrier certificates for nonlinear model validation , 2006, Autom..

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

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

[14]  Max Gunzburger,et al.  Perspectives in flow control and optimization , 1987 .

[15]  S. Pearson.  Moments , 2020, Narrative inquiry in bioethics.