斯雷克

随机混杂系统的概率有界Delta可达性分析。本文提出了一种新的求解随机混杂系统模型的概率有界可达性问题的工具SReach。第一类是参数不确定的(非线性)混合自动机。第二种是概率混合自动机,它对转移概率和变量重置都具有额外的随机性。线性混杂系统可达性问题的标准方法要求对大型优化问题进行数值求解,而对于同时包含超现实非线性动力学和随机性的系统则变得不可行。SReach使用一组引入的随机变量对随机信息进行编码,并结合δ-完全决策过程和统计检验来合理地解决δ-可达性问题。与标准的基于仿真的方法相比,它支持非确定性分支,增加了模拟的覆盖范围,避免了过零点问题。我们通过讨论具有多个概率系统参数的非线性混杂系统的三个代表性生物模型和附加基准来证明SReach的适用性。