在线课程 – 科罗拉多大学博尔德分校 Google 自治系统专业认证

自治系统的模型

课程 1 – 8 小时

您将学到什么：

• 自主系统的基本模型，包括线性控制系统、串行电路和简单的自动机。
• 描述系统的解决方案和行为。
• 定义并说明系统之间的连接。

您将获得的技能：

• 装配系统
• 自治系统的模型
• 系统行为

课程 2 – 10 小时

您将学到什么：

• 使用正式方法确定和验证自治系统的要求。
• 使用各种分析方法对系统行为进行建模并确保稳定性。
• 将辅助功能组计算和弹性分析应用于系统设计。

您将获得的技能：

• 常规和常规 – Omega 规格
• 辅助功能要求
• 安全要求
• 线性逻辑规格
• 稳定性要求

课程 3 – 10 小时

您将学到什么：

• 分析线性系统的稳定特性。
• 计算多种类型系统的无障碍群组的计算。
• 验证最终系统。
• 使用定点算法合成控制器动力学以满足安全性和可访问性要求。

您将获得的技能：

• 模型测试
• 有限抽象的综合
• 系统之间的连接
• 使用固定点进行合成