浙江工商大学计算机学院院长珺,浙江工商大学信息与电子工程学院

王寿光，自动化学报(英文版)杂志副主编、IEEE Access杂志副主编、系统控制建模研究院院长、教授、省杰出青年基金获得者、省中青年学科带头人、IEEE高级会员、中国计算机学会高级会员、东北大学兼职博士生导师、卡利亚里大学合作博士生导师。浙江大学控制理论与控制工程专业博士 (2000.9－2005.6)，长沙交通学院自动化专业学士(1996.9－2000.6)。浙江工商大学教师(2005.6至今)。浙江大学电气工程学院博士后(2007.4－2010.3)，美国新泽西理工学院访问学者(2011.1-2012.1)，意大利卡利亚里大学访问学者(2014.12-2015.12)。主要研究方向为离散事件系统监控理论、Petri网理论与应用。近年来发表30多篇被SCI收录的论文，其中IEEE/ACM Transactions论文13篇，ESI高被引论文3篇，top期刊IEEE Transactions on Automatic Control (TAC)论文5篇。主持国家自然基金、省自然基金等10多个项目，其中一项省自然基金被评为 “十一五”100项浙江省自然科学基金优秀项目。已合作培养3名博士生。

以第一作者或通讯作者发表的代表性论文如下：

[1]Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE T. AC. 64(10): 4353-4360, 2019

[2] Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501: 635-654 (2019)

[3] An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. IEEE Trans. Contr. Sys. Techn. 26(6): 2135-2140, 2018

[4]A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE T. SMC, Syst., 48(8): 1403-1410, 2018

[5]New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Sci. China Inf. Sci. (中国科学). 61(12): 129104:1-129104:3, 2018

[6]A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S4PR. IEEE T. AC. 62(8): 4173-4179, 2017

[7]Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Inf. Sci. 409: 87-100, 2017

[8]Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE T. AC.  61(7), pp. 1953 - 1958, 2016

[9]Optimal Supervisor Synthesis for Petri Nets with Uncontrollable Transitions: A Bottom-up Algorithm. Information Sciences. 363:261–273, 2016

[10]Macro liveness graph and liveness of ω-independent unbounded nets. Sci. China Inf. Sci. (中国科学). 58(3): 1-10, 2015

电子邮箱：wangshouguang@zjsu.edu.cn