Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Exact Moment Estimation of Stochastic Differential Dynamics
Shenghua Feng, Jie An, Naijun Zhan +1
Moment estimation for stochastic differential equations (SDEs) is fundamental to the formal reasoning and verification of stochastic dynamical systems, yet remains challenging and…
eess.SY2025
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
Shenghua Feng, Jie An, Fanjiang Xu
Stochastic dynamical systems have emerged as fundamental models across numerous application domains, providing powerful mathematical representations for capturing uncertain system…