阿波法兹·拉瓦伊;马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) Zbl 07300872号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。 引用于1文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:自动控制器综合;离散时间随机系统;高性能计算平台;并行算法 软件:MoDeST公司;棱镜;斯托克Hy;SR每个;S每个工具;p面;动物2;AMYTISS公司;ProbReach公司;github PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020;Zbl 07300872) 全文: DOI程序