matlab精度检验代码-CPS_Benchmarks:用于“支持学习的网络物理系统的统计验证”论文的基准

matlab精度检验代码CPS_基准 这些文件包含案例研究模型和“基于学习的网络物理系统的统计验证”的代码。 这些案例研究要求安装带有Simulink和Simulink编码器工具箱的MATLAB R2019a。 他们已经在Windows 10上进行了测试。 登山车案例研究需要以下工具箱： 统计和机器学习工具箱， 强化学习工具箱。 Bidepdal案例研究的依存关系如下： 统计和机器学习工具箱， 强化学习工具箱， Simscape， Simscape Electrical， Simscape Multibody， 对于此模型，您可以在找到结构以安装所需的库。 最后一个案例研究需要以下工具箱： 深度学习工具箱 统计和机器学习工具箱。 要重新模拟，在每个文件夹中都存在一个test.m文件，该文件可用于运行相应的模拟。 使用test.m文件，我们可以将算法参数（例如delta（规格阈值），epsilon（概率阈值）和所需的显着性水平）设置为HPSTL函数的输入。 HPSTL的输出是确定的结果，采样成本和运行算法所需的时间。 模拟的输出将出现在MATLAB工作区中。 输出包括准确性，采样成本，S