复杂的电气和机电系统在我们的环境中越来越普遍，不再局限于智能电网、可再生能源、多电飞机或无人机等大型工业应用。许多消费品（如电动汽车和无人机）都需要日益复杂的控制系统才能高效、安全地运行。这些控制系统极为专业，设计和验证难度很大，因为它们的复杂性在各种架构中不断增加，集成了新的高级功能和大量计算机代码。 传统的设计和验证方法很容易达到极限，基于模型的方法已经发展起来，并成为许多行业的标准方法。在本讲座中，我们将讨论这些新方法背后的理论，并通过使用示例项目来说明这些方法的优势。
复杂的电气和机电系统在我们的环境中越来越普遍，不再局限于智能电网、可再生能源、多电飞机或无人机等大型工业应用。许多消费品（如电动汽车和无人机）都需要日益复杂的控制系统才能高效、安全地运行。这些控制系统极为专业，设计和验证难度很大，因为它们的复杂性在各种架构中不断增加，集成了新的高级功能和大量计算机代码。 传统的设计和验证方法很容易达到极限，基于模型的方法已经发展起来，并成为许多行业的标准方法。在本讲座中，我们将讨论这些新方法背后的理论，并通过使用示例项目来说明这些方法的优势。