Abstract:We study a convex optimization framework for bounding extreme events in nonlinear dynamical systems governed by ordinary or partial differential equations (ODEs or PDEs). This framework bounds from above the largest value of an observable along trajectories that start from a chosen set and evolve over a finite or infinite time interval. The approach needs no explicit trajectories. Instead, it requires constructing suitably constrained auxiliary functions that depend on the state variables and possibly on time. Minimizing bounds over auxiliary functions is a convex problem dual to the non-convex maximization of the observable along trajectories. This duality is strong, meaning that auxiliary functions give arbitrarily sharp bounds, for sufficiently regular ODEs evolving over a finite time on a compact domain. When these conditions fail, strong duality may or may not hold; both situations are illustrated by examples. We also show that near-optimal auxiliary functions can be used to construct spacetime sets that localize trajectories leading to extreme events. Finally, in the case of polynomial ODEs and observables, we describe how polynomial auxiliary functions of fixed degree can be optimized numerically using polynomial optimization. The corresponding bounds become sharp as the polynomial degree is raised if strong duality and mild compactness assumptions hold. Analytical and computational ODE examples illustrate the construction of bounds and the identification of extreme trajectories, along with some limitations. As an analytical PDE example, we bound the maximum fractional enstrophy of solutions to the Burgers equation with fractional diffusion.

A convex formulation of strict anisotropic norm bounded real lemma

Synthesis of anisotropic suboptimal controllers by convex optimization

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach

Relative Well-Posedness of Constrained Systems Accompanied by Variational Calculus

Bounding extreme events in nonlinear dynamics using convex optimization

Improved bounded real lemma for continuous-time stochastic systems with polytopic uncertainties

On quantitative stability in infinite-dimensional optimization under uncertainty

High-Probability Complexity Bounds for Non-smooth Stochastic Convex Optimization with Heavy-Tailed Noise

NONCONVEXITY PHENOMENON ON ITÔ'S INTEGRALS AND ON STOCHASTIC ATTAINABLE SETS

Entropy bounds for invariant measure perturbations in stochastic systems with uncertain noise

A note on continuity and asymptotic consistency of measures of risk and variability

On H-Infinity Performance Analysis For Continuous-Time Stochastic Systems With Polytopic Uncertainties

A note on continuity and consistency of measures of risk and variability

High-Probability Bounds for Stochastic Optimization and Variational Inequalities: the Case of Unbounded Variance

Strong Duality in Risk-Constrained Nonconvex Functional Programming

High Probability Complexity Bounds for Non-Smooth Stochastic Optimization with Heavy-Tailed Noise

Bounded Real Lemmas for Fractional Order Systems.

Non-concave distributionally robust stochastic control in a discrete time finite horizon setting

Bounded Real Lemma for Discrete-Time Stochastic Systems with Infinite Markov Jumps

Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks