陈增强 李加良 方敏 谢剑英 于瑞林 高阳 姜囡 蔡占军 奚宏生 杨根科 戴华平 翁海珊 郭磊 田发中 孙国基 段振华 支阿玲 袁著祉 萧德云 俞必强 骆再飞 罗来豹 何友国 王新华 张苗苗 胡跃明 李健 袁开福 李辉 沈一栋

混合自动机 服务水平 半模 混合转换系统 事件 监控 滑模控制 最优调度 质量 离散 矩形自动机 线性代数 可达性分析 计算模型 去混合化 批量 可达集 混合Petri网 不确定性 流管道 最优控制 形式化方法 微机械陀螺 多学科设计优化 多速率自动机 商迁移系统 生产系统 活动 Petri网 稳定性