肌炎

AMYTISS:大型随机系统自动控制器综合的并行化工具。本文提出了一个用C++/OpenCL实现的软件工具AMYTISS,用于设计大规模离散随机系统的逐结构控制器。该工具用于(i)将有限马尔可夫决策过程(mdp)作为给定原始系统的有限抽象,以及(ii)为所构造的有限mdp综合控制器,这些mdp满足有界时间的高级属性,包括安全性、可达性和可达性-避免规范。在amytis中,可伸缩的并行算法被设计成支持cpu、gpu和硬件加速器(HWAs)中的并行执行。与所有现有的随机系统工具不同,AMYTISS可以利用高性能计算(HPC)平台和云计算服务来减轻状态爆炸问题的影响,这种问题在分析大规模随机系统时总是存在。我们使用一些物理案例研究(包括机器人实例、室温和道路交通网络)将amytis与文献中最新的工具进行对比。通过综合一个自动泊车控制器,我们将我们的算法应用到一个三维的自主车辆和一辆宝马320i轿车的7维非线性模型中。