【文件属性】：
文件名称：CheckMate 演示：将死混合系统验证工具的演示。-matlab开发
文件大小：72KB
文件格式：ZIP
更新时间：2021-05-31 02:07:39
matlab
此 zip 文件包含多个 CheckMate 工具演示。
函数 testcheckmate.m 运行这个 zip 文件中的所有演示，除了 V2V 验证，这需要几个小时才能完成。
[快速开始] 每个 CheckMate 模型通常包含一个设置文件，该文件在基础工作区中创建变量，以及 CheckMate 模型的 Simulink 图。 要运行演示，首先运行安装文件，然后打开 Simulink 图。 出于验证目的，请使用“验证”； 对于探索，请使用“探索”。
【文件预览】：
demo.zip