Table of Contents
Fetching ...

Fractional Risk Analysis of Stochastic Systems with Jumps and Memory

Yimeng Sun, Zhuoyuan Wang, Xiaole Zhang, Heng Ping Jintang Xue, Paul Bogdan, Yorie Nakahira

Abstract

Accurate risk assessment is essential for safety-critical autonomous and control systems under uncertainty. In many real-world settings, stochastic dynamics exhibit asymmetric jumps and long-range memory, making long-term risk probabilities difficult to estimate across varying system dynamics, initial conditions, and time horizons. Existing sampling-based methods are computationally expensive due to repeated long-horizon simulations to capture rare events, while existing partial differential equation (PDE)-based formulations are largely limited to Gaussian or symmetric jump dynamics and typically treat memory effects in isolation. In this paper, we address these challenges by deriving a space- and time-fractional PDE that characterizes long-term safety and recovery probabilities for stochastic systems with both asymmetric Levy jumps and memory. This unified formulation captures nonlocal spatial effects and temporal memory within a single framework and enables the joint evaluation of risk across initial states and horizons. We show that the proposed PDE accurately characterizes long-term risk and reveals behaviors that differ fundamentally from systems without jumps or memory and from standard non-fractional PDEs. Building on this characterization, we further demonstrate how physics-informed learning can efficiently solve the fractional PDEs, enabling accurate risk prediction across diverse configurations and strong generalization to out-of-distribution dynamics.

Fractional Risk Analysis of Stochastic Systems with Jumps and Memory

Abstract

Accurate risk assessment is essential for safety-critical autonomous and control systems under uncertainty. In many real-world settings, stochastic dynamics exhibit asymmetric jumps and long-range memory, making long-term risk probabilities difficult to estimate across varying system dynamics, initial conditions, and time horizons. Existing sampling-based methods are computationally expensive due to repeated long-horizon simulations to capture rare events, while existing partial differential equation (PDE)-based formulations are largely limited to Gaussian or symmetric jump dynamics and typically treat memory effects in isolation. In this paper, we address these challenges by deriving a space- and time-fractional PDE that characterizes long-term safety and recovery probabilities for stochastic systems with both asymmetric Levy jumps and memory. This unified formulation captures nonlocal spatial effects and temporal memory within a single framework and enables the joint evaluation of risk across initial states and horizons. We show that the proposed PDE accurately characterizes long-term risk and reveals behaviors that differ fundamentally from systems without jumps or memory and from standard non-fractional PDEs. Building on this characterization, we further demonstrate how physics-informed learning can efficiently solve the fractional PDEs, enabling accurate risk prediction across diverse configurations and strong generalization to out-of-distribution dynamics.

Paper Structure

This paper contains 13 sections, 4 theorems, 58 equations, 3 figures, 1 table.

Key Result

Theorem 1

Consider system eq:x_trajectory and the fractional time change eq:time_change with the initial state $Y_0 = x \in {\mathcal{C}}$. Then, the long-term safety probability eq:safety_probability is the solution to

Figures (3)

  • Figure 1: Recovery probability with and without Lévy jumps.
  • Figure 2: Recovery probability with and without time change.
  • Figure 3: Safety probability for $2$D system with OOD dynamics.

Theorems & Definitions (10)

  • Definition 1: Safe Set ames2019control
  • Definition 2: Infinitesimal Generator
  • Theorem 1
  • Theorem 2
  • Lemma 1
  • proof : Proof (Lemma \ref{['lm:safe_prob_space_pde']})
  • Lemma 2
  • proof : Proof (Theorem \ref{['thm:safe_prob_pde']})
  • proof : Proof (Theorem \ref{['thm:rec_prob_pde']})
  • Remark 1