Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
From MaRDI portal
(Redirected from Publication:5506818)
Abstract: We describe methods for proving upper and lower bounds on infinite-time averages in deterministic dynamical systems and on stationary expectations in stochastic systems. The dynamics and the quantities to be bounded are assumed to be polynomial functions of the state variables. The methods are computer-assisted, using sum-of-squares polynomials to formulate sufficient conditions that can be checked by semidefinite programming. In the deterministic case, we seek tight bounds that apply to particular local attractors. An obstacle to proving such bounds is that they do not hold globally; they are generally violated by trajectories starting outside the local basin of attraction. We describe two closely related ways past this obstacle: one that requires knowing a subset of the basin of attraction, and another that considers the zero-noise limit of the corresponding stochastic system. The bounding methods are illustrated using the van der Pol oscillator. We bound deterministic averages on the attracting limit cycle above and below to within 1%, which requires a lower bound that does not hold for the unstable fixed point at the origin. We obtain similarly tight upper and lower bounds on stochastic expectations for a range of noise amplitudes. Limitations of our methods for certain types of deterministic systems are discussed, along with prospects for improvement.
Recommendations
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
- Bounding stationary averages of polynomial diffusions via semidefinite programming
- Bounding extrema over global attractors using polynomial optimisation
- Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming
Cites work
- A practical difference scheme for Fokker-Planck equations
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Bounding Stationary Expectations of Markov Processes
- Bounds on real eigenvalues and singular values of interval matrices
- Computing sum of squares decompositions with rational coefficients
- Convex Computation of the Region of Attraction of Polynomial Control Systems
- Dissipation inequalities for the analysis of a class of PDEs
- Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
- Exploiting sparsity in semidefinite programming via matrix completion. I: General framework
- Exploiting sparsity in semidefinite programming via matrix completion. II: Implementation and numerical results
- Global stability analysis of fluid flows using sum-of-squares
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- Interval analysis: Theory and applications
- Nonlinear systems.
- On statistical attractors and the convergence of time averages
- Polynomial sum of squares in fluid dynamics: a review with a look ahead
- Pre- and Post-Processing Sum-of-Squares Programs in Practice
- SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
- Semidefinite Optimization and Convex Algebraic Geometry
- Semidefinite programming relaxations for semialgebraic problems
- Solving semidefinite-quadratic-linear programs using SDPT3
- SRB measures as zero-noise limits
- Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming
- Stability of Markovian processes II: continuous-time processes and sampled chains
- Sum-of-squares approach to feedback control of laminar wake flows
- Sum-of-squares of polynomials approach to nonlinear stability of fluid flows: an example of application
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- What are SRB measures, and which dynamical systems have them?
Cited in
(41)- Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes
- Koopman operator spectrum for random dynamical systems
- Finding unstable periodic orbits: a hybrid approach with polynomial optimization
- Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization
- Lyapunov function computation for autonomous systems with complex dynamic behavior
- Background flow hidden in a bound for Nusselt number
- On the crest factor and its relevance in detecting turbulent behaviour in solutions of partial differential equations
- Bounding stationary averages of polynomial diffusions via semidefinite programming
- Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming
- Bounds for internally heated convection with fixed boundary heat flux
- Exhausting the background approach for bounding the heat transport in Rayleigh-Bénard convection
- Finding extremal periodic orbits with polynomial optimization, with application to a nine-mode model of shear flow
- Bounding extreme events in nonlinear dynamics using convex optimization
- Bounds on heat transport for convection driven by internal heating
- Analytical bounds on the heat transport in internally heated convection
- Bounding extrema over global attractors using polynomial optimisation
- On the crest factor for dissipative partial differential equations
- Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
- Bounds on heat transfer for Bénard-Marangoni convection at infinite Prandtl number
- Bounds for Rayleigh-Bénard convection between free-slip boundaries with an imposed heat flux
- Geometrical dependence of optimal bounds in Taylor–Couette flow
- Convex computation of maximal Lyapunov exponents
- Bootstrapping the gap in quantum spin systems
- Auxiliary functions as Koopman observables: data-driven analysis of dynamical systems via polynomial optimization
- Bootstrap, Markov chain Monte Carlo, and LP/SDP hierarchy for the lattice Ising model
- Time averages and periodic attractors at high Rayleigh number for Lorenz-like models
- The role of boundary conditions in scaling laws for turbulent heat transport
- A study of the double pendulum using polynomial optimization
- The Lorenz system as a gradient-like system
- The moment-SOS hierarchy: applications and related topics
- Convergence rates for the moment-SoS hierarchy
- Bootstrapping nonequilibrium stochastic processes
- Goldilocks and the bootstrap
- Energy dissipation bounds for flows in pipes and past bodies of general geometry
- Rotating Rayleigh-Bénard convection: attractors, bifurcations, and heat transport via a Galerkin hierarchy
- Thermal bootstrap of matrix quantum mechanics
- Mini-workshop: Data-driven modeling, analysis, and control of dynamical systems. Abstracts from the mini-workshop held December 8--13, 2024
- Data-driven discovery of invariant measures
- Polynomial optimization for nonlinear dynamics: theory, algorithms and applications. Abstracts from the workshop held July 28 -- August 2, 2024
This page was built for publication: Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5506818)
