混合系统是由连续变量和离散事件交互组成的系统。混合系统研究源于近年对实时嵌入式计算课题研究混合控制系统的系统化设计和规范化证实方法。对带决策适应机制的混合模型,引入新状态测度和稳定分析方法。提出优化控制器设计规范。生成证实算法和动态修复算法,定量评估算法复杂度,以实例表明有效性。
{{i.achievement_title}}
数据更新时间:2023-05-31
EBPR工艺运行效果的主要影响因素及研究现状
一种基于多层设计空间缩减策略的近似高维优化方法
复杂系统科学研究进展
二维FM系统的同时故障检测与控制
现代优化理论与应用
基于符号表达与多元逼近的智能控制的稳定性分析与控制设计
符号和数值混合方法求解多项式方程组
基于设计历史与过程的产品符号建模方法及其应用研究
符号和数值混合计算