Dynestyx: A Probabilistic Programming Library for Dynamical Systems
📄 arXiv:2606.16985 · 📥 PDF · 2026-06-15 · nlin.CD
Authors: Daniel Waxman [arXiv · scholar] , Dmitry Batenkov [arXiv · scholar] , John Feser [arXiv · scholar] , Andy Zane [arXiv · scholar] , Eli Bingham [arXiv · scholar] , Youssef Marzouk [arXiv · scholar] , Matthew E. Levine [arXiv · scholar]
🕰 Orloj analysis
Paper představuje knihovnu dynestyx pro pravděpodobnostní programování, která poskytuje prvotřídní podporu pro modely stavového prostoru (SSM) v dynamických systémech. Umožňuje uživatelům specifikovat libovolné apriorní rozdělení pro diskrétní nebo spojité systémy a provádět inferenci s principální kvantifikací nejistoty.
💡 Knihovna nabízí sjednocené rozhraní pro pokročilé metody odhadu stavů a parametrů v dynamických systémech, což je užitečný, byť spíše inženýrský příspěvek k dostupnosti bayesovských metod.
✓ code_available, falsifiable, modest_claims
📄 Abstract
State-space models (SSMs) are the standard formalism for Bayesian treatment of dynamical systems, with natural applications in statistics, signal processing, and machine learning. Despite their importance in both theory and application, dynamical systems have proven difficult to incorporate in modern probabilistic programming languages (PPLs), making state-of-the-art methods less accessible to practitioners and introducing friction in following the "Bayesian workflow." We introduce dynestyx, a probabilistic programming library with first-class support for SSMs, including state-of-the-art methods in the estimation of both states and parameters. Through a single, unified interface, users may specify arbitrary priors for discrete-time or continuous-time dynamical systems, perform inference over mixed-effect data, and make state and parameter estimates with principled uncertainty quantification.