王汝凉 张勐 黄文明 高衿畅 徐周波 李文敬 李凤英 周春晖 熊太平 赵岭忠 蔡国永 谢春光 刘华东 董荣胜 徐国华 庞健雄 元昌安 黄容伟 张彦文 杨志飞 黄美发 廖伟志 黄廷辉 农毅 曾聪文 骆翔宇 崔更申 吴光伟 孟瑜 宁黎华

时态逻辑 计算思维 学习 符号模型检验 嵌入式系统 区间速率连续Petri网 赋时有界Petri网 协作 装配体联结图 割集 线性系统 业务冲突 混合算法 零压缩二叉决策图 时变系统 公平性 粗糙控制 仿真 谓词逻辑 柔性制造系统 两层 模型检验 实时约束 装配序列规划 分布式实时系统 免疫算法 模糊柔性制造系统 时间约束混杂Petri网 间歇过程 行为分析

广西桂林 广西师范学院信息技术系 桂林电子科技大学计算机学院 西安电子科技大学电子工程学院 桂林电子科技大学计算机系 桂林电子科技大学计算机与控制学院 浙江大学工业控制技术研究所 西安电子科技大学七系