赵雷 蔡开元 张文辉 王鹏 李永超 王三民

反应式系统 软件设计 监控理论 形式化方法 系统设计 自动机 离散事件动态系统 有限状态机（FSM） 增量式软件设计 离散事件系统 多项式动态系统 扩展有限状态机（EFSM） 继承性 安全关键系统 监督控制 软件控制论

北京航空航天大学自动控制系 自动控制系 计算机科学重点实验室 中国科学院软件研究所 北京航空航天大学 天津师范大学计算机与信息工程学院