(1)网络流的混合动态系统模型 985校基础研究基金 1999年12月至2001年12月
(2)先进网络和通信系统中的若干DEDS问题研究 985信息学院基础研究基金 2000年1月至2002年12月
(3)离散事件动态系统的测试与验证 教育部回国人员启动基金 2002年1月至2002年12月
(4)国际合作项目(合作单位美国联合技术公司研究公司) 2002年3月至2003年1月
(5)国际合作项目(合作单位美国联合技术公司研究公司) 2003年4月至2004年2月
(6)基于验证的区间型离散事件动态系统的鲁棒性分析与控制 国家自然科学基金项目2003年1月2005年12月
(7)国际合作项目(合作单位美国联合技术公司研究公司) 2004年5月至2005年6月
(8)电力系统解列决策方法案例研究 国家973项目子课题 2004年2月至2005年7月
(9)国际合作项目(合作单位美国通用汽车公司) 2006年3月至2007年12月
(10)利用结构特性分析和控制动态布尔网络 国家自然科学基金项目 2006年1月至2008年12月