主要研究领域包括：

    1. 离散事件系统理论

               -  系统信息安全分析与控制

               -  系统故障诊断

               -  系统状态估计

               -  监督控制理论

               -  Petri网理论等

    2. 物理信息系统（CPS）

                -  网络安全分析与控制

                -  网络攻击检测与预防

    3. 轨道交通系统形式化分析与智能控制

                -  轨道交通系统建模                

                -  列车运行计划调整与优化

                -  列车运行安全性形式化验证

Ÿ   Papers on international journal

[1] Yin Tong*, Graziana Cavone, Jiate Luo, Carla Seatzu, Mariagrazia Dotoli, "Distributed Model Predictive Control for the Automatic Rescheduling of Complex Metro Lines with Connection Constraints", submitted to IEEE Transactions on Automation Science and Engineering.

[2] Yin Tong*, Ziyue Ma, "Verification of K-Step and Definite Critical Observability in Discrete-Event Systems", IEEE Transactions on Automatic Control, 2022, doi: 10.1109/TAC.2022.3202983 (Early Access). [K_CriticalObs_corrected.pdf]

[3] Yin Tong*, Yucheng Wang, Alessandro Giua, “A Polynomial Approach to Verifying the Existence of A Threatening Sensor Attacker”, IEEE Control Systems Letters, vol. 6, pp. 2930-2935, 2022. [pdf]

[4]  Yin Tong*, Hao Lan, Carla Seatzu, "Verification of K-Step Opacity and Infinite-Step Opacity of Bounded Labeled Petri Nets", Automatica, vol. 142, article. 110221, Jun. 2022. [pdf]

[5]     Hao Lan, Yin Tong∗, Carla Seatzu, "Crucial States Estimation in Radio Block Center Handover Using Labeled Petri nets", IEEE Transactions on Automation Science and Engineering (Early Access), 2022. [pdf]

[6]     Hao Lan, Yin Tong∗, Carla Seatzu, "Analysis of Strong and Strong Periodic Detectability Using Labeled Petri Nets", Nonlinear Analysis: Hybrid Systems, vol. 42, article. 101087, Nov. 2021. [pdf]

[7]     Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems”, Automatica, vol. 128, article. 109576, Jun. 2021. [pdf]

[8]     Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems”, IEEE Transactions on Cybernetics, doi: 10.1109/TCYB.2021.3049910. [pdf]

[9]     Hao Lan, Yin Tong*, Jin Guo, Alessandro Giua, “Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica, 2017(80)161-171]”, Automatica, 122:1-2, Dec. 2020. [pdf]

[10]     Yue Yao, Yin Tong*, Hao Lan, “Initial-State Estimation in Multi-Channel Networked Discrete Event Systems”, IEEE Control Systems Letters, 4(4):1024-1029, Oct. 2020. [pdf]

[11]     Hao Lan, Yin Tong∗, Jin Guo, Carla Seatzu, “Verification of C-detectability Using Petri Nets”, Information Sciences, 528(8): 294-310, Aug. 2020. [pdf]

[12]     Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Current-State Opacity Enforcement in Discrete Event Systems under Incomparable Observations”, Discrete Event Dynamic Systems: Theory and Applications, 28(2): 161-182, Jun. 2018. [pdf]

[13]     Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Decidability of Opacity Problems in Labeled Petri Nets”, Automatica, 80: 48-53, Jun. 2017. [pdf]

[14]  Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of State-Based Opacity Using Petri Nets”, IEEE Transactions on Automatic Control, 62(6): 2823-2837, Jun. 2017. [pdf]

[15]  Yin Tong, Zhiwu Li*, and Alessandro Giua, “On the Equivalence of Observation Structures for Petri Net Generators”, IEEE Transactions on Automatic Control, 61(9):2448–2462, Sept 2016. [pdf]

[16] Ziyue Ma, Yin Tong，Zhiwu Li*, Alessandro Giua, “Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem”, IEEE Transactions on Automatic Control, 62(3): 1078-1093, Mar. 2017. [pdf]

      Ÿ   Papers on conference proceedings (EI, selected)

[1] Binyu Nie, Yin Tong*, “A Survey of Applications of Model Predictive Control to Rail Traffic Regulation”, accepted by the 2022 China Automation Congress.

        [CAC_v5_draft.pdf]

[2] Kejin Wang, Yin Tong*, Sensor and Actuator Attack Identification in Discrete Event Systems, in the Proceedings of the 2022 41st Chinese Control Conference (CCC), pp. 1605-1610, Hefei, China, Jul. 2022.

[3] Yin Tong*, Wei Xu, Mariagrazia Dotoli, Graziana Cavone, “An Integrated Model Predictive Control Method for the Rescheduling of Metro Traffic with Backup Trains”,  in the Proceedings of the 2022 American Control Conference (ACC), pp. 4648-4653, Atlanta, USA, Jun. 2022.

[4]     Yin Tong*, Jiate Luo, Carla Seatzu, “State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations”,  in the Proceedings of the 2021 IEEE Conference on Decision and Control (CDC), pp. 1048-1053, Austin, USA, Dec. 2021.

[5]     Jiate Luo, Yin Tong*, Graziana Cavone, “A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance”, in the Proceedings of the 2021 IEEE Conference on Intelligent Transportation Systems (ITSC), pp. 3533-3538, Indianapolis, USA, Sept. 2021.

[6]   Jiate Luo, Yin Tong*,  “Constrained Optimal Controller Design for Urban Metro Traffic Regulation”, accepted by the 40^th Chinese Control Conference, Shanghai, China, July 2021.

[7]     Jiate Luo, Yin Tong*, “Metro Traffic Regulation Using Multi-Step State Feedback Control”, in the Proceedings of the 33nd Chinese Control and Decision Conference (CCDC), Kunmin, China, May 2021.

[8]     Hao Lan, Yin Tong∗, Carla Seatzu, “Verification of Infinite-step Opacity Using Labeled Petri Nets”, in Proceedings of the 21st IFAC World Congress (IFAC WC), pp. 1729-1734, Berlin, Germany, Jul. 2020.

[9]     Yike Li, Yin Tong*, Alessandro Giua, “Detection and Prevention of Cyber Attacks in Networked Control Systems”, in Proceedings of the 15^th IFAC Workshop on Discrete Event Systems (WODES), pp. 7-12, Rio, Brazil, May 2020.

[10]     Luxi Wang, Yin Tong*, Xiaomin Wang, “Feasibility Verification of Train Operations Using Petri Nets”, in the Proceedings of the 32^nd Chinese Control and Decision Conference (CCDC), pp. 1-6, Hefei, China, Aug. 2020. (DOI: 10.1109/CCDC49329.2020.9164826)

[11]     Yin Tong*, Hao Lan, “Current-State Opacity Verification in Modular Discrete Event Systems”, in Proceedings of the 2019 IEEE Conference on Decision and Control (CDC), pp. 7665-7670, Nice, France, Dec. 2019.

[12]  Yin Tong*, Hao Lan, Jin Guo, “Verification of Detectability in Labeled Petri Nets”, in Proceedings of the 2019 American Control Conference (ACC), pp. 5627-5632, Philadelphia, USA, Jul. 2019.

[13]  Yin Tong*, Kai Cai, Alessandro Giua, “Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control”, in Proceedings of the 2018 SICE Annual Conference, pp. 1053-1058, Nara, Japan, Sept. 2018.

[14]  Siqi Liu, Yin Tong*, Carla Seatzu, Alessandro Giua, “PetriBaR: A MATLAB Toolbox for Petri Ntes Implementing Basis Reachability Approaches”, in Proceedings of the 14th IEEE International Workshop on Discrete Event Systems (WODES), pp. 316-322, Sorento, Italy, May 2018.

[15]  Ziyue Ma, Yin Tong, Zhiwu Li*, Alessandro Giua, “Marking Estimation in Labelled Petri nets by the Representative Marking Graph”, in Proceedings of the IFAC 2017 World Congress, pp. 11175-11181, Toulous, France, July, 2017.

Ÿ   Journal service

-    Associate Editor for the IEEE Transaction on Automation Science and Engineering.

-    External Associate Editor for the IEEE Control Systems Letters (L-CSS) special issue on “Fragility and Resiliency in Cyber-Physical Discrete Event Systems”.

Ÿ   Conference service and organization

-       Associate Editor of international conferences
        IEEE International Conference on Automation Science and Engineering (CASE), since 2020.

        IEEE International Conference on Decision and Control (CDC), since 2021.

        American Control Conference (ACC), since 2021.

        IEEE International Conference on Systems, Man, and Cybernetics (SMC), since 2019.

        The 2021 Mediterranean Conference on Control and Automation (MED).

-       Invited Session Organizer at CASE’19, CDC’19, CDC’20, ACC’22.

-       Local Organizing Committee Member of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Italy, 2013.

-       Publication Chair of the IEEE 13th International Workshop on Discrete Event Systems, China (WODES), 2016.

-       Session Chair of the 2019 American Control Conference (ACC), USA, 2019.

-       Member of the Track Program Committee at the IEEE Conference on Emerging Technologies and Factory Automation (ETFA), since 2017.

-       Member of IEEE Control Systems Society, since 2012.

-       Member of Technical Committee on Discrete Event Systems (IEEE CSS).

Ÿ   Reviewer for International Journals (selected)

    Automatica;

    IEEE Transactions on Automation Science and Engineering

    IEEE Transactions on Automatic Control

    Discrete Event Dynamic Systems: Theory and Applications; (selected as Outstanding Reviewer for 2019)

    IEEE Transactions on Control Systems Technology

    IEEE Transactions on Systems Man Cybernetics-Systems

    IEEE Transactions on Control of Network Systems

    IEEE Transactions on Fuzzy Systems

    IEEE Transactions on Industrial Informatics

    Nonlinear Analysis: Hybrid Systems

    Information Sciences

Ÿ   Reviewer for International Conferences (selected)

    International Conference on Automation Science and Engineering (CASE)

    IEEE Conference on Decision and Control (CDC)

    American Control Conference (ACC)

    IFAC World Congress (IFAC)

    IEEE International Conference on Systems, Man and Cybernetics (SMC)

    International Workshop on Discrete Event Systems (WODES)