当前位置: X-MOL首页全球导师 国内导师 › 刘关俊

个人简介

刘关俊,教授,博士生导师,2011年获得同济大学计算机软件与理论专业博士学位,先后于新加坡科技设计大学、德国柏林洪堡大学(德国洪堡基金资助)从事博士后研究工作,2013年进入同济大学计算机科学系工作至今。是中国计算机学会高级会员、中国自动化学会与中国人工智能学会会员、IEEE Senior Member,是中国计算机学会形式化方法专委会与软件工程专委会执行委员、中国自动化学会网络信息服务专委会委员、Associate Editor of IEEE Transactions on Computational Social Systems(2023.1-2025.12)。 已出版学术专著3本,发表学术论文140余篇,包括SCIENCE CHINA - Information Sciences、ACM T-CPS、ACM T-ECS、IEEE T-SC、IEEE T-II、IEEE T-NNLS、IEEE T-ASE、IEEE T-ITS、IEEE T-CSS、IEEE T-SMC-S、Information Sciences、the Computer Journal、Expert Systems with Applications等国内外期刊论文80余篇、以及International Conference on Theory and Applications of Petri Nets and Concurrency等国际会议论文50余篇。相关研究得到国家自然科学基金(重点项目、面上项目、青年基金项目)、上海市曙光人才项目、上海市科技创新行动计划(人工智能专项)、教育部高校产学研创新基金、中央高校交叉项目(重大)、航天五院开放课题、德国洪堡基金的资助。 获得国家科技进步二等奖(2016)、中国电子学会自然科学一等奖(2016)、自动化学会自然科学一等奖(2019)、吴文俊人工智能技术发明一等奖(2019)、上海市技术发明一等奖(2019)、上海市科技进步一等奖(2015)、中国安装协会科技进步一等奖(2023)、教育部国务院学位委员会首届博士研究生学术新人奖(2010)、上海市优秀博士学位论文奖(2014)、上海市计算机学会协同计算与信息服务专委会优秀论文奖(2017)、13th IEEE ICNSC最佳学生论文提名奖(2016)、2021 ICCPSI最佳学生论文奖等。

研究领域

并发理论与Petri网理论,模型检测与时序逻辑,机器学习与多智能体,离散事件系统与实时嵌入式系统,工作流系统,人机物系统,无人机协同,网络交易欺诈检测

近期论文

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

Zhou, Ziyuan; Liu, Guanjun; Zhou, MengChu, A Robust Mean-Field Actor-Critic Reinforcement Learning against Adversarial Perturbations on Agent States, IEEE Transactions on Neural Networks and Learning Systems, 2023 (accepted) Chen, ST, Liu, GJ, Zhou, ZY, Zhang, KW, Wang, JC, Robust Multi-agent Reinforcement Learning Method Based on Adversarial Domain Randomization for Real-world Dual-UAV Cooperation, IEEE Transactions on Intelligent Vehicles, 2023, DOI: 10.1109/TIV.2023.3307134 HR Shi, GJ Liu, KW Zhang, ZY Zhou, JC Wang, MARL Sim2real Transfer: Merging Physical Reality with Digital Virtuality in Metaverse, IEEE Transactons on Systems, Man and Cybernetics: Systems, 53(4): 2107-2117, 2023 (10.1109/TSMC.2022.3229213) J Gu, J Wang, X Guo, GJ Liu, S Qin, and Z Bi, A Metaverse-Based Teaching Building Evacuation Training System with Deep Reinforcement Learning, IEEE Transactons on Systems, Man and Cybernetics: Systems, 53(4): 2209-2219, 2023 (accepted) J Xue, ZN Liu, GJ Liu, ZY Zhou, KW Zhang, Y Tang, JC Wang, Robust wind-resistant hovering control of quadrotor UAVs using deep reinforcement learning, IEEE Transactions on Intelligent Vehicles, 2023, DOI: 10.1109/TIV.2023.3324687. J. Lin, C. Yu, L. Wang, G. Liu, J. Wang, W. Ma, Optimization of Lane-changing Advisory in Mixed Traffic of Connected Vehicles and Human-driven Vehicles at Expressway Bottlenecks, IEEE Transactions on Intelligent Vehicles, DOI: 10.1109/TIV.2023.3326565 Yang, M., Liu, G., Zhou, Z., & Wang, J. (2023). Partially Observable Mean Field Multi-Agent Reinforcement Learning Based on Graph Attention Network for UAV Swarms. Drones, 7(7), 476. Bi, Z., Guo, X., Wang, J., Qin, S., & Liu, G. (2023). Deep Reinforcement Learning for Truck-Drone Delivery Problem. Drones, 7(7), 445. Fan, S., Liu, G.J., and Li, J. (2023). A Heterogeneous Graph Neural Network With Attribute Enhancement and Structure-Aware Attention. IEEE Transactions on Computational Social Systems. (accepted) Fan, S., Liu, G.J., and Li, J. ASIAM-HGNN: Automatic Selection and Interpretable Aggregation of Meta-path Instances for Heterogeneous Graph Neural Network, Computing and Informaics, 2023 (accepted) Zhang, Q., Liu, G., Jiang, C. (2023). The Adaptation of Concept Drift: A Fit Prediction Algorithm Based on Local Optimum. IEEE Transactions on Computational Social Systems (accepted) HH Zhu, MC Zhou, GJ Liu, Y Xie, S Liu, C Guo, NUS: Noisy-sample-removed Under-sampling Scheme for Imbalanced Classification and Application to Credit Card Fraud Detection, IEEE Transactions on Computational Social Systems 2023 (accepted) Ruihao Cao, Junli Wang, Mingze Mao, Guanjun Liu, Changjun Jiang, Feature-wise attention based boosting ensemble method for fraud detection, Engineering Applications of Artificial Intelligence, vol. 126, 2023, article no. 106975. Weng, Q. L., Liu, G. J., Zhou, P., Shi, H. R., Zhang, K. W. Co-TS: Design and Implementation of a 2-UAV Cooperative Transportation System. International Journal of Micro Air Vehicles, vol. 15, 2023 (doi:10.1177/17568293231158443) F. Zhao, D. Xiang, G. Liu et al., Behavioral consistency measurement between extended WFD-nets, Information Systems (2023),. Zhao F, Xiang DM, Liu GJ, The Trace Consistency Measurement of WFD-net systems, Frontiers in Computer Science, 2023 LF He, GJ Liu, MC Zhou, Petri-net based model checking for privacy-cirtical multi-agent systems, IEEE Transactions on Computational Social Systems, 2022 (accepted) LF He, GJ Liu, Prioritized time-point-interval Petri nets modeling multi-processor real-time systems and TCTLx, IEEE Transactions on Industrial Informatics, 2022 (accepted) ZD Zhang, J Liu, GJ Liu, JC Wang, YH Zhang, Robustness verification of Swish neural networks embedded in autonomous driving systems, IEEE Transactions on Computational Social Systems, 2022 (accepted) DM Xiang, S Lin, XH Wang, GJ Liu, Checking missing-data errors in cyber-physical systems based on the merged process of Petri nets, IEEE Transactions on Industrial Informatics, 2022 (accepted) Y Xie, GJ Liu, CG Yan, CJ Jiang, MC Zhou, MZ Li, Learning Transactional Behavioral Representations for Credit Card Fraud Detection, IEEE Transactions on Neural Networks and Learning Systems, 2022 (accepted) P Zhou, GJ Liu, JC Wang, QL Weng, KW Zhang, ZY Zhou, Lightweight unmanned aerial vehicle video object detection based on spatial‐temporal correlation. International Journal of Communication Systems, 2022 (accepted). YD Wang, WY Yu, P Teng, GJ Liu, DM Xiang, A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking, Wireless Communications and Mobile Computing, vol. 2022, Article ID 4434714, 14 pages, 2022 何雷锋,刘关俊,模拟实时系统的点区间优先级时间Petri网与TCTL验证,软件学报,33(8): 2947-2963, 2022 翟治年, 卢亚辉, 刘关俊, 雷景生, 向坚, 吴茗蔚,资源独立工作流可满足性的最小增量模式回溯,软件学报,2022,录用 翟治年, 刘关俊,卢亚辉,向坚,吴茗蔚,丰明坤.工作流可满足性的约简增量模式回溯法.计算机集成制造系统. 2022, 录用 F Zhao, DM Xiang, GJ Liu and CJ Jiang, A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems, IEEE Transactions on Computational Social Systems, 9(2): 480-493, 2022 MJ Guang, CG Yan, GJ Liu, J Wang, CJ Jiang, A Novel Sampling Method Based on Neighborhood Weighted for Imbalanced Datasets, Chinese Journal of Electronics , 2022, 31(5), 1-11. doi: 10.1049/cje.2021.00.121 Y Xie, GJ Liu, MC Zhou, CJ Jiang, Time-aware attention-based gated network for credit card fraud detection by extracting transactonal behaviors, IEEE Transactions on Computational Social Systems, 2022 (accepted) Song, J., Xiang, D., Liu, G., He, L. (2022). Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Computing and Informatics, 41(4), 1025-1053. WB Wu, GJ Liu, KY Liang, H Zhou, Inner cascaded U^2-Net: An improvement to plain cascaded U-Net, Computer Modeling in Engineering and Sciences, 2022 (accepted) DM Xiang, GJ Liu, CG Yan, CJ Jiang, A Guard-driven Analysis Approach of Workflow Net With Data, IEEE Transactions on Services Computing, 14(6): 1675--1686, 2021 LF He, GJ Liu, Verifying Computation Tree Logic of Knowledge via Knowledge-oriented Petri Nets and Ordered Binary Decision Diagrams, Computing and Informatics, Vol. 40, 2021, 1174–1196. ZC Li, M Huang, GJ Liu, CJ Jiang,A hybrid method with dynamic weighted entropy for handling the problem of class imbalance with overlap in credit card fraud detection, Expert Systems with Applications 175, 114750:1-10, 2021. RH Cao, GJ Liu, Y Xie, CJ Jiang, Two-Level Attention Model of Representation Learning for Fraud Detection, IEEE Transactions on Computational Social Systems, 2021, 8(6): 1291-1301. CF Yang, GJ Liu, CG Yan, and CJ Jiang, A Clustering-based Flexible Weighting Method in AdaBoost and its Application to Transaction Fraud Detection, SCIENCE CHINA – Information Science 64(12): 1--11, 2021 Y Liang, MZ Li, CJ Jiang, GJ Liu, CEModule: A Computation Efficient Module for Lightweight Convolutional Neural Networks, IEEE Transactions on Neural Networks and Learning Systems, 2021(accepted) LT Zheng, GJ Liu, CG Yan, CJ Jiang, MC Zhou, and MZ Li, Improved TrAdaBoost and its Application to Transaction Fraud Detection, IEEE Transactions on Computational Social Systems, vol. 7, no. 5, pp. 1304--1316, 2020. YX Qin, CG Yan, GJ Liu, ZC Li, and CJ Jiang, Pairwise Gaussian Loss for Convolutional Neural Networks, IEEE Transactions on Industrial Informatics, 16(10), 6324-6333,2020. ZC Li, GJ Liu, and CJ Jiang, Deep Representation Learning with Full Center Loss for Credit Card Fraud Detection, IEEE Transactions on Computational Social Systems,7(2): 569-579, 2020. XY Tao, GJ Liu, B Yang, CG Yan and CJ Jiang, Workflow nets with tables and their soundness, IEEE Transactions on Industrial Informatics, 16(3): 1503-1515, 2020 MM Wang, ZJ Ding, GJ Liu, CJ Jiang, MC Zhou, Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50(10): 3628-3645, 2020. DM Xiang, GJ Liu, Checking Data-Flow Errors Based on the Guard-Driven Reachability Graph of WFD-Net, Computing and Informatics, 39(1): 1001-1020, 2020 HH Zhu, GJ Liu, MC Zhou, Q Kang, Optimizing Weighted Extreme Learning Machines for Imbalanced Classi?cation and Application to Credit Card Fraud Detection, Neurocomputing 407: 50-62, 2020. J Li, GJ Liu, CG Yan, CJ Jiang, LORI: A Learning-to-rank Based Integration Method of Location Recommendation, IEEE Transactions on Computational Social Systems, vol. 6, no. 3, pp. 430-440,2019. HH Zhu, GJ Liu, MC Zhou, Y Xie, Q Kang, Dandelion Algorithm With Probability-Based Mutation, IEEE Access, 2019, 7:97974-97985. GJ Liu,CJ Jiang,MC Zhou,Time-soundness of Time Petri Nets Modeling Time-critical Systems, ACM Transactions on Cyber-Physical Systems. vol. 2, no. 2, article number 11, 27 pages, 2018. LT Zheng, GJ Liu, CG Yan, CJ Jiang, Transaction Fraud Detection based on Total Order Relation and Behavior Diversity, IEEE Transactions on Computational Social Systems, vol. 5, no. 3, pp. 796--806, 2018. WJ Luan, GJ Liu, CJ Jiang, MC Zhou, MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method, IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 11, pp. 3461--3474, 2018 CJ Jiang, JH Song, GJ Liu, LT Zheng, WJ Luan, Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism, IEEE Internet of Things Journal, vol. 5, no. 5, pp. 3637--3647, 2018 DM Xiang, GJ Liu, CG Yan, CJ Jiang, Detecting Data-Flow Errors Based on Petri Nets with Data Operations, IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 251--260, 2018 MM Wang, GJ Liu, CG Yan, CJ Jiang, Behavior Consistency Computation for Workflow nets with unknow correspondence, IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 281--291, 2018 YQ He, GJ Liu, CG Yan, CJ Jiang, JC Wang, Locating and controlling Unsound Transitions in Workflow Systems Based on Workflow Net with Data Constraints, IEEE ACCESS, vol. 6, pp. 62622-62637, 2018 (DOI: 10.1109/ACCESS.2018.2876904) YQ He, GJ Liu, DM Xiang, JQ Sun, CG Yan, CJ Jiang, Verifying the correctness of workflow systems based on workflow net with data constraints, IEEE ACCESS, vol. 6, pp. 11412--11423, 2018 (DOI: 10,1109/ACCESS.2018.2806884) H Fang, GJ Liu, XW Fang, Sufficient and necessary conditions to guarantee deadlock-free scheduling for an extended S3PR with correlated resources, Journal of the Chinese Institute of Engineers, 2018, 41(6): 473--482. JZ Li, GJ Liu, An Improved LambdaMART algorithm based on the Matthew Effect, Mathematical Problems in Engineering, vol. 2018, artical no. 3082970, 11 pages (DOI:10.1155/2018/3082970) 李金忠,刘关俊,闫春钢,蒋昌俊,排序学习研究进展与展望,自动化学报,vo. 44, no. 8, pp. 1345-1369, 2018 GJ Liu, MC Zhou, CJ Jiang, Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing, ACM Trans. Embedded Computing Systems, vol. 16, no. 4, pp. 113:1-113:20, 2017 GJ Liu, CJ Jiang, Observable Liveness of Petri Nets with Controllable and Observable Transitions, Science China - Information Sciences, 2017, vol. 60: 118102-1--3 DM Xiang, GJ Liu, CG Yan, CJ Jiang, Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets, IEEE Transactions on Industrial Informatics, vol. 13, no. 6, pp. 2995--3005, 2017 JZ Li, GJ Liu, CG Yan, CJ Jiang, Robust Learning to Rank Based on Portfolio Theory and AMOSA algorithm, IEEE Trans. SMC: Syst. 2017, vol.47, no. 6, pp. 1007--1018. WJ Luan, GJ Liu, CJ Jiang, L Qi, Partition-based Collaborative Tensor Factorization for POI Recommendation, IEEE/CAA Journal of Automatica Sinica, 2017, vol. 4, no. 3, pp. 437--446. (doi: 10.1109/JAS.2017.7510538) 李金忠,刘关俊,一种鲁棒性增强的LambdaMART算法,小型微型计算机系统,vol. 38,no. 5,pp. 1044--1048,2017 GJ Liu, W Reisig, CJ Jiang, and MC Zhou, A Branching-process-based method to check soundness of workflow systems, IEEE Access, 2016, vol. 4: 4104-4118 GJ Liu, Complexity of the deadlock problem for Petri nets modelling resource allocation systems, Information Sciences, vol. 363, 2016:190-197 GJ Liu, CJ Jiang, Behavioral Equivalence of Security-Oriented Interactive Systems, IEICE Trans. Inf. Syst. Vol. E99-D, No. 8, pp. 2061--2068, 2016 GJ Liu, LJ Chen, Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait, Int. J. Syst. Sci., 2016, 47(7):1533-1542 SQ Wang, Aorigele, GJ Liu, SC Gao ,A hybrid discrete imperialist competition algorithm for fuzzy job-shop scheduling problems, IEEE Access, 2016, 4: 9320--9331 Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou, A multilevel index model to expedite web service discovery and composition in large-scale service repositories, IEEE Trans. Services Computing, 2016,9(3):330-342 LX Shen, CJ Jiang, GJ Liu, Satellite objects extraction and classification based on similarity measure, IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 46, no. 8, 2015: 1148--1154 GJ Liu, CJ Jiang, Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets, SCI. CHINA Inf. Sci., 2015, 58(7): 072103:1-16 GJ Liu, CJ Jiang, Co-NP-hardness of the soundness problem for asymmetric-choice workflow nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2015, 45(8): 1201-1204 GJ Liu, LJ Chen, Sufficient and Necessary Condition for Compatibility of a Class of Interorganizational Workflow Nets, Mathematical Problems in Engineering, 2015, vol. 2015, Article ID 392945, 11 pages GJ Liu, Some complexity results for the soundness problem of workflow nets, IEEE Trans. Services Computing, 2014, 7 (2): 322-328. GJ Liu, J Sun, Y Liu, and JS Dong, Complexity of the soundness problem of workflow nets, Fundamenta Informaticae, 2014, 131 (1): 81-101 GJ Liu, CJ Jiang, MC Zhou, PC Xiong, Interactive Petri nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2013, 43 (2): 291-302. GJ Liu, CJ Jiang, MC Zhou, A Ohta, The Liveness of WS3PR: Complexity and Decision, IEICE Trans. Fundamentals, 2013, E96-A (8): 1783-1793 Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou, A novel method for calculating service reputation, IEEE Trans. Automation Science and Engineering, 2013, 10(3): 634-642 GJ Liu, CJ Jiang, MC Zhou, Process nets with channels, IEEE Trans. Syst., Man, Cybern. A, 2012, 42 (1): 213-225 D Chao, GJ Liu, A simple suboptimal siphon-based control model of a well-known S3PR, Asian J Control, 2012, 14(1): 163-172 GJ Liu, CJ Jiang, MC Zhou, Improved sufficient condition for the controllability of weakly dependent siphons in system of simple sequential processes with resources, IET Control Theory and Applications, 2011, 5 (9): 1059-1068 GJ Liu, CJ Jiang, D Chao, A necessary and sufficient condition for the liveness of normal nets, the Comp. J. (Oxford University Press), 2011, 54 (1): 157-163 GJ Liu, CJ Jiang, MC Zhou, Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, IEEE Trans. Aut. Sci. Eng., 2010, 7 (1): 945-957 GJ Liu, CJ Jiang, On conditions for the liveness of weakly persistent nets, Inform. Process. Lett., 2009, 109 (16): 967-970 GJ Liu, CJ Jiang, ZH Wu, LJ Chen, A live subclass of Petri nets and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 41 (1-2): 66-74 GJ Liu, CJ Jiang, LJ Chen, ZH Wu, Two types of extended RSNBs and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 45 (4-5): 573-582 GJ Liu, CJ Jiang, Incidence matrix based methods for computing repetitive vectors and siphons of Petri net, J. Inf. Sci. Eng., 2009, 25 (1): 121-136 刘关俊,蒋昌俊,陈黎静,各类Petri网语言间的关系,系统仿真学报,2007,19(7):1633-1638 刘关俊,蒋昌俊,基于T-不变量的可重复向量求解,系统仿真学报,2007,19(A001):1-3, 15. 蒋昌俊,刘关俊,Petri网语言的Pumping引理,计算机学报, 2006, 29(2):274-278

推荐链接
down
wechat
bug