离散控制Matlab代码-pFaces-AMYTISS:用于大型随机系统的并行自动化控制器综合的工具

离散控制Matlab代码AMYTISS ：大型随机系统的并行自动化控制器综合 随机控制系统最近用于建模和分析各种安全关键系统，例如交通网络和自动驾驶汽车。 AMYTISS是作为软件工具引入的，作为加速生态系统顶部的内核而实现，用于设计随机离散时间系统的按构造校正控制器。 请查看AMYTISS的演示视频，以进行快速介绍和演示： AMYTISS用于： 建立有限马尔可夫决策过程（MDP）作为给定原始随机离散时间系统的有限抽象； 和 用于满足有限时间安全规范和避免范围规范的有限MDP的综合控制器。 在AMYTISS中，可伸缩并行算法旨在构造有限的MDP并合成其控制器。 它们作为支持在CPU，GPU和硬件加速器（HWA）中并行执行的内核在pFaces之上实现。 使用Docker安装 在这里，我们假设您将使用Linux或MacOS计算机。 如果使用Windows PowerShell，在Windows上的命令将略有不同。 首先，请确保将Docker配置为使用所有可用资源（例如，所有CPU内核）。 否则，AMYTISS的运行速度将比预期的慢。 另外，如果您使用的是GPU，请确保在Docker中传递G