林岩 王三民 文传源 白成刚 王向云 张明廉 郭君红 李跃飞 李永超 杨德东 王鹏 苏亮 王新华 张文辉 赵迎春 铁林 樊鹏辉 王永吉 王秀利 江昌海 张栋 全权 刘永祥 张瑞峰 吴淮宁 赵雷 胡德斌 景涛 宿敬亚 周辉

垂直起降 定性模型 拥塞控制 随机测试 鲁棒性 增量式软件设计 微分器 失效关联 软件可靠性分析 模糊推理系统 软件工程 ITAE 可靠度 网络拓扑 监督控制 形式化方法 自动机 四轴飞行器 软件可靠性测试 固定翼 软件测试 扩展有限状态机（EFSM） LM算法 快速无超调控制 飞行控制软件 可靠性研究 永久故障 线性回归模型 逼近精度 安全关键系统

北京航空航天大学自动化科学与电气工程学院 北京航空航天大学三系 中国科学院软件研究所 北京航空航天大学自动化学院 北京航空航天大学自动控制系 中央财经大学信息学院 计算机科学重点实验室 自动控制系