混合控制系统的稳定性、符号证实方法与设计研究

混合系统是由连续变量和离散事件交互组成的系统。混合系统研究源于近年对实时嵌入式计算课题研究混合控制系统的系统化设计和规范化证实方法。对带决策适应机制的混合模型，引入新状态测度和稳定分析方法。提出优化控制器设计规范。生成证实算法和动态修复算法，定量评估算法复杂度，以实例表明有效性。