SReach公司 swMATH ID: 20158 软件作者: Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 描述: SReach:随机混合系统的概率有界Delta可靠性分析器。本文提出了一种新的工具SReach,用于解决两类随机混合系统模型的概率有界可达性问题。第一种是具有参数不确定性的(非线性)混合自动机。第二种是概率混合自动机,它对转移概率和变量重置都具有额外的随机性。线性混合系统可达性问题的标准方法需要大型优化问题的数值解,并且对于同时涉及领域上的非线性动力学和随机性的系统来说变得不可行。SReach使用一组引入的随机变量对随机信息进行编码,并将δ-完全决策过程和统计测试相结合,以合理的方式解决δ-可达性问题。与基于模拟的标准方法相比,它支持非确定性分支,增加了模拟的覆盖范围,并避免了零交叉问题。我们通过讨论具有多个概率系统参数的非线性混合系统的三个代表性生物模型和附加基准来证明SReach的适用性。 主页: http://link.springer.com/chapter/10.1007/978-3-319-23401-4_3 相关软件: ProbReach公司;p面;S每个工具;棱镜;斯托克Hy;FAUST2型;AMYTISS公司;d真实;OmegaThreads公司;数学SAT5;CEGAR公司;风暴;斯科特;Modelica公司;Sostools公司;工具箱LS;z3(零3);塞杜米;github;MoDeST公司 引用于: 5文件 全部的 前5名16位作者引用 2 阿波法兹·拉瓦伊 2 苏德贾尼,萨代格 2 马吉德·扎马尼 1 亚历山德罗·阿巴特 1 兰斯·克莱维兰 1 弗拉维奥·芬顿。 1 亚历山大·戈德斯特恩 1 拉杜·格罗苏 1 石井、大辅 1 伊斯兰,马里兰州Ariful 1 保罗·L·琼斯。 1 马哈茂德·哈立德 1 费多尔·什马罗夫 1 斯科特·斯莫尔卡。 1 直纪延崎 1 保罗·祖利亚尼 2篇连载文章中引用 1 Automatica公司 1 理论计算机科学 全部的 前5名在6个字段中引用 4 系统论;控制(93至XX) 三 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 常微分方程(34-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文