随机网络物理系统在分布偏移下的统计可达性分析
原文中文，约1400字，阅读约需4分钟。
📝
内容提要
本文探讨了基于数据驱动的离散时间随机动态系统的可达性分析，提出了一种量化推荐内容到达用户的概率上限的方法，适用于复杂动态系统的学习增强控制。研究还涉及神经网络在随机系统中的应用及优化算法在约束动态系统中的表现，以及通过学习密度分布进行安全路径规划的有效性。
❓
Q&A
如何进行基于数据驱动的随机动态系统的可达性分析？
通过将数据集转化为代理预测模型，并使用符合推断量化预测模型的误差，从而提供概率可达性保证。
ProbReach工具的主要功能是什么？
ProbReach用于验证随机混合系统中的概率可达性，采用了delta-可达性的弱化概念，并在多个基准测试中表现出良好的结果。
如何通过强化学习方法建模随机定向图中的可达性概率？
通过特征化随机定向图中的转移概率动态，将其建模为一个差分包含，理解为Markov决策过程，并确定奖励功能。
在随机扰动下，如何优化约束动态系统的状态保持概率？
提出了一种优化算法，最大化状态在限定区域内的概率，并提供充分条件使随机可达集是闭合、紧凑和凸形的。
如何通过学习密度分布进行安全路径规划？
通过结合模型预测控制，利用数据驱动的方法有效应对系统的不确定性，实现可验证的安全路径规划。
新方法计算离散时间马尔可夫链的可达性概率的原理是什么？
该方法基于图的分解为强连通子图和多项式的新因数分解策略，实验评估显示速度提高。
🏷️
