2019-  [澳門科學技術發展基金項目/ FDCT Projects] 部分可觀條件下的系統不透明性研究 = Opacity verification and enforcement in the framework of partially observed Petri nets  (Co-Investigator)

2018-  [澳門科學技術發展基金項目/ FDCT Projects] 資源配置系統狀態空間的代數描述 = State space characterization of resource allocation systems: an algebraic approach  (Co-Investigator)

2017-  [澳門科學技術發展基金項目/ FDCT Projects] 基於面向資源Petri網的資源分配系統最大許可監督控制 = Maximally permissive supervisory control of resource allocation systems based on resource-oriented petri nets  (Co-Investigator)

2016-  [澳門科學技術發展基金項目/ FDCT Projects] 基於觀測的離散事件系統Petri網模型挖掘與構建 = On mining and construction of Petri net models for discrete event systems by external observations  (Co-Investigator)

2013-  [澳門科學技術發展基金項目/ FDCT Projects] 基於 Petri 網的離散事件系統漸進穩定控制器綜合與優化  (Co-Investigator)