基本信息

---

下载

文档摘要

---

例证视角下混杂系统形式化分析与验证关键问题研究

一、引言

1.1研究背景与意义

在科技飞速发展的当下，混杂系统作为融合了连续动态和离散事件的复杂系统，广泛且深入地渗透于航空航天、机器人控制、智能交通、工业自动化等众多关键领域。以航空航天领域为例，飞行器的飞行控制系统在工作时，必须同时兼顾发动机运行的连续动态变化，以及起飞、降落、空中变轨等离散事件。在机器人控制场景中，机器人的运动控制既要处理关节的连续运动，又要应对任务切换、路径规划变更等离散事件。智能交通系统里，交通信号灯的控制需要综合考虑车辆行驶状态、交通流量等连续变量，同时还要处理信号灯的定时切换、紧急情况时的特殊切换等离散事件。工业