Current browse context:
stat.AP
Change to browse by:
References & Citations
Statistics > Applications
Title: Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
(Submitted on 5 May 2022 (this version), latest version 1 Jul 2022 (v3))
Abstract: We present a method to automatically approximate moment-based invariants of probabilistic programs with non-polynomial updates of continuous state variables to accommodate more complex dynamics. Our approach leverages polynomial chaos expansion to approximate non-linear functional updates as sums of orthogonal polynomials. We exploit this result to automatically estimate state-variable moments of all orders in Prob-solvable loops with non-polynomial updates. We showcase the accuracy of our estimation approach in several examples, such as the turning vehicle model and the Taylor rule in monetary policy.
Submission history
From: Andrey Kofnov [view email][v1] Thu, 5 May 2022 11:19:37 GMT (4223kb,D)
[v2] Sun, 8 May 2022 15:33:37 GMT (4223kb,D)
[v3] Fri, 1 Jul 2022 11:20:52 GMT (4445kb,D)
Link back to: arXiv, form interface, contact.