西南交通大学信息科学与技术学院导师教师师资介绍简介-童音

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

本站小编 Free考研考试/2021-09-26

个人信息Personal Information 教师英文名称： Toni
所在单位： 信息科学与技术学院
学历： 博士研究生毕业
办公地点： 西南交通大学犀浦校区9号教学楼9121室
联系方式： 通信地址：四川省成都市高新区西部园区西南交通大学电子邮箱：yintong@swjtu.edu.cn
学位： 工学博士学位
电子邮箱： yintong@swjtu.edu.cn
毕业院校： 意大利卡利亚里大学
学科：交通信息工程及控制
控制理论与控制工程

扫描关注

同专业硕导

当前位置：中文主页 >> 科学研究
研究领域
主要研究领域包括：
1. 离散事件系统理论
- 系统信息安全分析与控制
-系统故障诊断
- 系统状态估计
- 监督控制理论
- Petri网理论等
2. 物理信息系统（CPS）
- 网络安全分析与控制
- 网络攻击检测与预防

3. 轨道交通系统形式化分析与智能控制
- 轨道交通系统建模
- 列车运行计划调整与优化
- 列车运行安全性形式化验证

科研项目
离散事件系统分布式不透明性验证及强化, 国家自然科学基金
基于离散事件系统模型的轨道交通系统故障诊断, 四川省科技厅创新工程项目
信息分布式隐蔽性验证与控制, 中央高校基本科研业务费科技创新项目

论文成果
? Papers on international journals (SCI)
[1] Yin Tong*, Hao Lan, Carla Seatzu, "Verification of K-Step Opacity and Infinite-Step Opacity of Bounded Labeled Petri Nets", submitted to Automatica (IF: 5.541,中科院2区)
[2] Hao Lan, Yin Tong?, Carla Seatzu, "Analysis of Strong and Strong Periodic Detectability Using Labeled Petri Nets",submitted to Nonlinear Analysis: Hybrid Systems (IF: 5.881, 中科院1区)
[3] Hao Lan, Yin Tong?, Carla Seatzu, "Crucial States Estimation in Radio Block Center Handover Using Labeled Petri nets",submitted to IEEE Transactions on Automation Science and Engineering (IF: 4.938，中科院2区)
[4] Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems”, accepted by Automatica, Jun. 2021. (IF: 5.541, 中科院2区)
[5] Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems”, accepted by IEEE Transactions on Cybernetics, 2021. (IF: 11.079，中科院1区)
[6] 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. (IF: 5.541，中科院2区)
[7] Hao Lan, Yin Tong?, Jin Guo, Carla Seatzu, “Verification of C-detectability Using Petri Nets”, Information Sciences, 528(8): 294-310, Aug. 2020. (IF: 5.91，中科院2区)
[8] 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. (IF:0.932，中科院4区)
[9] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Decidability of Opacity Problems in Labeled Petri Nets”, Automatica, 80: 48-53, Jun. 2017. (IF: 5.541，中科院2区)
[10] 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. (ESI Highly Cited，IF: 5.625，中科院2区)
[11] 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. (ESI Highly Cited，IF: 5.625，中科院2区).
[12] 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. 2016. (IF: 5.625，中科院2区)

? Papers on international journals (EI)
[1] 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.

? Papers on conference proceedings (EI, selected)
[1] Yin Tong*, Jiate Luo, Carla Seatzu, “State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations”, submitted to the 2021 IEEE Conference on Decision and Control (CDC), USA, Dec. 2021.
[2] Jiate Luo, Yin Tong*, Graziana Cavone, “A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance”, submitted to the 2021 IEEE Conference on Intelligent Transportation Systems (ITSC), 2021.
[3] 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.
[4] 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.
[5] 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.
[6] 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.
[7] 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.**)
[8] 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.
[9] 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.
[10] 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.
[11] 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.
[12] 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.
[13] Yin Tong, Ziyue Ma, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Language-Based Opacity in Petri Nets Using Verifier”, in Proceedings of the 2016 American Control Conference (ACC), pp. 757-763, Boston, USA, Jul. 2016.
[14] Yin Tong, Ziyue Ma, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Supervisory Enforcement of Current-State Opacity with Uncomparable Observations”, in Proceedings of the 13th IEEE International Workshop on Discrete Event Systems (WODES), pp. 313-318, Xi'an, China, May 2016.
[15] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Initial-State Opacity in Petri Nets”, in Proceedings of the 2015 IEEE Conference on Decision and Control (CDC), pp. 344-349, Osaka, Japan, Dec. 2015.
[16] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Current-State Opacity Using Petri Nets”, in Proceedings of the 2015 American Control Conference (ACC), pp. 1935-1940, Chicago, USA, Jul. 2015.

著作成果
暂无内容

专利
暂无内容

Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

个人信息Personal Information 教师英文名称： Toni
所在单位： 信息科学与技术学院
学历： 博士研究生毕业
办公地点： 西南交通大学犀浦校区9号教学楼9121室
联系方式： 通信地址：四川省成都市高新区西部园区西南交通大学电子邮箱：yintong@swjtu.edu.cn
学位： 工学博士学位
电子邮箱： yintong@swjtu.edu.cn
毕业院校： 意大利卡利亚里大学
学科：交通信息工程及控制
控制理论与控制工程

扫描关注

同专业硕导

论文成果当前位置：中文主页 >> 科学研究 >> 论文成果
? Papers on international journals (SCI)
[1] Yin Tong*, Hao Lan, Carla Seatzu, "Verification of K-Step Opacity and Infinite-Step Opacity of Bounded Labeled Petri Nets", submitted to Automatica (IF: 5.541,中科院2区)
[2] Hao Lan, Yin Tong?, Carla Seatzu, "Analysis of Strong and Strong Periodic Detectability Using Labeled Petri Nets",submitted to Nonlinear Analysis: Hybrid Systems (IF: 5.881, 中科院1区)
[3] Hao Lan, Yin Tong?, Carla Seatzu, "Crucial States Estimation in Radio Block Center Handover Using Labeled Petri nets",submitted to IEEE Transactions on Automation Science and Engineering (IF: 4.938，中科院2区)
[4] Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems”, accepted by Automatica, Jun. 2021. (IF: 5.541, 中科院2区)
[5] Tao Feng, Jilie Zhang*, Yin Tong, Huaguang Zhang, “Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems”, accepted by IEEE Transactions on Cybernetics, 2021. (IF: 11.079，中科院1区)
[6] 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. (IF: 5.541，中科院2区)
[7] Hao Lan, Yin Tong?, Jin Guo, Carla Seatzu, “Verification of C-detectability Using Petri Nets”, Information Sciences, 528(8): 294-310, Aug. 2020. (IF: 5.91，中科院2区)
[8] 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. (IF:0.932，中科院4区)
[9] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Decidability of Opacity Problems in Labeled Petri Nets”, Automatica, 80: 48-53, Jun. 2017. (IF: 5.541，中科院2区)
[10] 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. (ESI Highly Cited，IF: 5.625，中科院2区)
[11] 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. (ESI Highly Cited，IF: 5.625，中科院2区).
[12] 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. 2016. (IF: 5.625，中科院2区)

? Papers on international journals (EI)
[1] 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.

? Papers on conference proceedings (EI, selected)
[1] Yin Tong*, Jiate Luo, Carla Seatzu, “State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations”, submitted to the 2021 IEEE Conference on Decision and Control (CDC), USA, Dec. 2021.
[2] Jiate Luo, Yin Tong*, Graziana Cavone, “A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance”, submitted to the 2021 IEEE Conference on Intelligent Transportation Systems (ITSC), 2021.
[3] 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.
[4] 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.
[5] 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.
[6] 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.
[7] 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.**)
[8] 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.
[9] 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.
[10] 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.
[11] 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.
[12] 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.
[13] Yin Tong, Ziyue Ma, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Language-Based Opacity in Petri Nets Using Verifier”, in Proceedings of the 2016 American Control Conference (ACC), pp. 757-763, Boston, USA, Jul. 2016.
[14] Yin Tong, Ziyue Ma, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Supervisory Enforcement of Current-State Opacity with Uncomparable Observations”, in Proceedings of the 13th IEEE International Workshop on Discrete Event Systems (WODES), pp. 313-318, Xi'an, China, May 2016.
[15] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Initial-State Opacity in Petri Nets”, in Proceedings of the 2015 IEEE Conference on Decision and Control (CDC), pp. 344-349, Osaka, Japan, Dec. 2015.
[16] Yin Tong, Zhiwu Li*, Carla Seatzu, and Alessandro Giua, “Verification of Current-State Opacity Using Petri Nets”, in Proceedings of the 2015 American Control Conference (ACC), pp. 1935-1940, Chicago, USA, Jul. 2015.

Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处