Uniform Ergodicity and Ergodic-Risk Constrained Policy Optimization
<|reference_start|>Uniform Ergodicity and Ergodic-Risk Constrained Policy Optimization: In stochastic systems, risk-sensitive control balances performance with resilience to less likely events. Although existing methods rely on finite-horizon risk criteria, this paper introduces \textit{limiting-risk criteria} that capture long-term cumulative risks through probabilistic limiting theorems. Extending the Linear Quadratic Regulation (LQR) framework, we incorporate constraints on these limiting-risk criteria derived from the asymptotic behavior of cumulative costs, accounting for extreme deviations. Using tailored Functional Central Limit Theorems (FCLT), we demonstrate that the time-correlated terms in the limiting-risk criteria converge under strong ergodicity, and establish conditions for convergence in non-stationary settings while characterizing the distribution and providing explicit formulations for the limiting variance of the risk functional. The FCLT is developed by applying ergodic theory for Markov chains and obtaining \textit{uniform ergodicity} of the controlled process. For quadratic risk functionals on linear dynamics, in addition to internal stability, the uniform ergodicity requires the (possibly heavy-tailed) dynamic noise to have a finite fourth moment. This offers a clear path to quantifying long-term uncertainty. We also propose a primal-dual constrained policy optimization method that optimizes the average performance while ensuring limiting-risk constraints are satisfied. Our framework offers a practical, theoretically guaranteed approach for long-term risk-sensitive control, backed by convergence guarantees and validations through simulations.<|reference_end|>
@article{talebi2024uniform,
    title={Uniform Ergodicity and Ergodic-Risk Constrained Policy Optimization},
    author={Shahriar Talebi and Na Li},
    journal={arXiv preprint arXiv:2409.10767},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.10767},
    primaryClass={math.OC cs.SY eess.SY}
}