离散事件 模拟方法 合成 主系统 控制者 校准系统 模型的 一系列 可靠性 性能要求 模型 移动机器人 最佳的 系统 验证 分类器 用于 要求的 软件控制 软件 控制器 系统的 神经网络 DNN 决策 驾驶员 方法 限制的 保持 驾驶员的 安全性 驾驶 优化目标 机器人 新方法 验证的