基于矩的不变量：含非多项式赋值的随机循环
应用统计
2025-01-03 v3 符号计算
摘要
我们提出了一种方法，用于自动近似具有连续状态变量非多项式更新的概率程序的基于矩的不变量，以适应更复杂的动态。我们的方法利用多项式混沌展开将非线性函数更新近似为正交多项式之和。我们利用该结果自动估计具有非多项式更新的Prob-可解循环中各阶状态变量矩。我们在若干示例中展示了估计方法的准确性，例如转弯车辆模型和货币政策中的泰勒规则。
引用
@article{arxiv.2205.02577,
title = {Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments},
author = {Andrey Kofnov and Marcel Moosbrugger and Miroslav Stankovič and Ezio Bartocci and Efstathia Bura},
journal= {arXiv preprint arXiv:2205.02577},
year = {2025}
}
备注
23 pages