StocHy - automated verification and synthesis of stochastic processes: poster abstract
StocHy - automated verification and synthesis of stochastic processes: poster abstract
复制标题
StocHy - 随机过程的自动验证和综合：海报摘要
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
A. Abate
中科院分区：
文献类型：
--
作者：
Nathalie Cauchi;A. Abate
随机混合系统（SHS）是一个丰富的数学建模框架，能够描述复杂系统，其中不确定性和混合（即连续和离散）组件是相关的。我们介绍了一种新的软件工具- stony -旨在简化SHS的建模和分析。StocHy可以(i)执行验证任务，例如，从给定的一组初始条件中计算停留在状态空间某一区域内的概率；（ii）自动合成最大化这一概率的策略，以及（iii）模拟SHS随时间的演变。我们通过在一台标准笔记本电脑上运行的一组实验，突出了StocHy的性能，该笔记本电脑配备了英特尔酷睿i7-8550U 1.80GHz × 8 CPU和8gb RAM。StocHy可以在gitlab.com/natchi92/StocHy上找到。
Stochastic hybrid systems (SHS) are a rich mathematical modelling framework capable of describing complex systems, where uncertainty and hybrid (that is, both continuous and discrete) components are relevant. We introduce a new software tool - StocHy-aimed at simplifying both the modelling of SHS and their analysis. StocHy can (i) perform verification tasks, e.g., compute the probability of staying within a certain region of the state space from a given set of initial conditions; (ii) automatically synthesise strategies maximising this probability, and (iii) simulate the SHS evolution over time. We highlight the performance of StocHy, via a set of experiment that are run on a standard laptop, with an Intel Core i7-8550U CPU at 1.80GHz × 8 and with 8 GB of RAM. StocHy is available at gitlab.com/natchi92/StocHy.