Faculty Profile

Ÿ   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.