
研究 Simulink Design Verifier 第二版:应用于自动驾驶模式转换
5星
- 浏览量: 0
- 大小:None
- 文件类型:ZIP
简介:
该方法是通过 Simulink Design Verifier 验证 Autopilot 模式转换的。要求结果需以表格形式呈现。为明确表达这种模式转换的机制,构建一个等效模型。该方法采用 SDV 内置断言进行验证。SDV 的结果将与基于相同断言群组的随机测试结果进行对比分析。提供相应的Matlab M文件,用于执行验证案例。
全部评论 (0)
还没有任何评论哟~


