Tong Yin
Associate Professor
|
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
- Doctoral Supervisor
- Master Tutor
- Education Level:PhD graduate
- Degree:Doctor of engineering
- Business Address:Office: No.9 Building
- Professional Title:Associate Professor
- Alma Mater:University of Cagliari
- Supervisor of Doctorate Candidates
- Supervisor of Master's Candidates
- School/Department:Department of Automatic Control
- Discipline:Transportation Engineering
Traffic Information Engineering and Control
Control Theory and Control Engineering
Contact Information
- ZipCode：
- PostalAddress：
- Research
Research interestes mainly include
1. Discrete-event theory
- Information security analysis and control
- Fault diagnosis
- State estimation
- Supervisory control theory
- Petri net theory
2. Cyber-physical systems
- Cyber security analysis and control
- Detection and prevention of cyber attack
3. Formal methods of railway systems
- Modeling of railway systems
- Traffic regulation
- Formal verification of train operation safety
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.
[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 40th 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 15th 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 32nd 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)
- No content