Moment-SOS hierarchy and exit location of stochastic processes - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Pré-Publication, Document De Travail Année : 2024

Moment-SOS hierarchy and exit location of stochastic processes

Résumé

The moment sum of squares (moment-SOS) hierarchy produces sequences of upper and lower bounds on functionals of the exit time location of a polynomial stochastic differential equation with polynomial constraints, at the price of solving semidefinite optimization problems of increasing size. In this note we use standard results from elliptic partial differential equation analysis to prove convergence of the bounds produced by the hierarchy. We also use elementary convex analysis to describe a super- and sub-solution interpretation dual to a linear formulation on occupation measures. Finally, we introduce a novel Christoffel-Darboux approach for the recovery of the exit location and occupation measures. The practical relevance of these results is illustrated with numerical examples.
Fichier principal
Vignette du fichier
exit.pdf (6.01 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03110452 , version 1 (14-01-2021)
hal-03110452 , version 2 (29-11-2023)
hal-03110452 , version 3 (14-03-2024)

Identifiants

  • HAL Id : hal-03110452 , version 3

Citer

Didier Henrion, Mauricio Junca, Mauricio Velasco. Moment-SOS hierarchy and exit location of stochastic processes. 2024. ⟨hal-03110452v3⟩
233 Consultations
120 Téléchargements

Partager

More