部分可观测离散时间随机混合系统可达性分析的计算技术
最优化与控制
2014-04-24 v1
摘要
混合系统的可达性分析已被用作一种安全验证工具，以离线评估系统状态在给定时间范围内是否能够保持在指定的安全区域内。尽管该方法已应用于随机混合系统，但在状态测量不完整或含噪情况下的可达性这一同样重要的问题上，相关工作却很少。此外，目前尚无针对部分可观测离散时间随机混合系统可达性分析的计算方法或结果。我们通过借鉴关于连续状态部分可观测马尔可夫决策过程（POMDPs）的现有文献，首次提供了解决该问题的数值结果。我们首先证明，可达性问题（具有乘法成本结构）的值函数是分段线性且凸的，这与具有加法成本函数的离散状态 POMDPs 情况相同。由于这些性质，我们能够将现有的基于点的值迭代技术扩展到达可达性问题，并在一个基准温度调节问题上展示了其适用性。
引用
@article{arxiv.1404.5906,
title = {Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems},
author = {Kendra Lesser and Meeko Oishi},
journal= {arXiv preprint arXiv:1404.5906},
year = {2014}
}