×

粗壮的

swMATH标识: 36937
软件作者: Nathalie Cauchi,Kurt Degiorgio,Alessandro Abate
说明: 斯托奇:随机过程的自动验证和综合。StocHy是一个用于离散随机混杂系统(SHS)定量分析的软件工具。StocHy接受随机模型的高级描述,并构造了一个等效的SHS模型。该工具允许(i)模拟给定时间范围内的SHS演化;并自动构造SHS的形式化抽象。抽象然后用于(ii)形式验证或(iii)控制(策略、策略)综合。StocHy允许模块化建模,并有单独的仿真、验证和合成引擎,这些引擎作为独立的库来实现。这使得库易于使用,扩展也易于构建。该工具用C++实现,采用基于向量演算的操作、稀疏矩阵的使用、概率核的符号构造和多线程。实验表明,与现有的基于抽象的方法相比,StocHy的性能有了显著提高:特别是,StocHy在精度(抽象错误)和计算工作量方面胜过了最先进的工具,最终实现了对大型模型(12个连续维度)的可伸缩性。StocHy在https://gitlab.com/natchi92/StocHy
主页: https://arxiv.org/abs/1901.10287
相关软件: 浮士德2;棱镜;SReachTools公司;ProbReach公司;肌炎;谦虚;风暴;表面活性剂;github;斯雷克;苏格兰人;宿便;ISCAMC公司;贾尼;犰狳;金纳克
参考文献: 5种出版物

引用2个系列

1 自动
1 欧洲控制杂志

按年份引用出版物