Simulink Design Verifier - 2在自动驾驶模式转换中的应用：由matlab开发的Simulink Design Verifier

这是使用 Simulink Design Verifier 对 Autopilot 模式转换的验证。 要求以表格形式给出。 创建一个等效模型来表示这种模式转换。 这是使用 SDV 中的断言进行验证的。 SDV 与针对同一组断言的随机测试运行进行比较。 提供了 Matlab m 文件来运行案例。