-
\"CheckMate演示：一款用于验证将死混合系统的 MATLAB 开发的验证工具的展示。\
资源介绍
此 zip 文件包含多个 CheckMate 工具演示。
函数 testcheckmate.m 运行这个 zip 文件中的所有演示，除了 V2V 验证，这需要几个小时才能完成。
[快速开始] 每个 CheckMate 模型通常包含一个设置文件，该文件在基础工作区中创建变量，以及 CheckMate 模型的 Simulink 图。 要运行演示，首先运行安装文件，然后打开 Simulink 图。 出于验证目的，请使用“验证”； 对于探索，请使用“探索”。