Tingdi Zhao

According to our database, Tingdi Zhao authored at least 21 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Health Monitoring Model for Circulation Water Pumps in a Nuclear Power Plant Based on Graph Neural Network Observer.

Jianyong Gao, Liyi Ma, Chen Qing, Tingdi Zhao, Zhipeng Wang, Jie Geng, Ying Li

Sensors, July, 2024

2023

SOTIF-Oriented Perception Evaluation Method for Forward Obstacle Detection of Autonomous Vehicles.

Jiayun Chu, Tingdi Zhao, Jian Jiao, Yuan Yuan, Yongfeng Jing

IEEE Syst. J., June, 2023

A methodology for equipment condition simulation and maintenance threshold optimization oriented to the influence of multiple events.

Yuxue Jin, Jie Geng, Chuan Lv, Ying Chi, Tingdi Zhao

Reliab. Eng. Syst. Saf., 2023

2021

Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements.

Jiayun Chu, Tingdi Zhao, Jian Jiao, Zhiwei Chen

IEEE Syst. J., 2021

2019

XML-based modeling method of phased-mission systems subject to probabilistic common cause failures.

Huan Wu, Tingdi Zhao, Jian Jiao, Zhiwei Chen

J. Intell. Fuzzy Syst., 2019

Integrating Model Checking With SysML in Complex System Safety Analysis.

Hongli Wang, Deming Zhong, Tingdi Zhao, Fuchun Ren

IEEE Access, 2019

2018

A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery.

Rongbin Han, Shihai Wang, Bin Liu, Tingdi Zhao, Zhiao Ye

IEEE Access, 2018

Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements.

Zhiwei Chen, Tingdi Zhao, Jian Jiao, Fuchun Ren

IEEE Access, 2018

2017

Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept.

Fuchun Ren, Tingdi Zhao, Jian Jiao, Yuqing Hu

IEEE Access, 2017

Warranty Cost Modeling and Warranty Length Optimization Under Two Types of Failure and Combination Free Replacement and Pro-Rata Warranty.

Zhiwei Chen, Tingdi Zhao, Shanshan Luo, Yufeng Sun

IEEE Access, 2017

A research for embedded system software accident mechanism.

Wang Wang, Xiaohong Bao, Tingdi Zhao

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

2016

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.

Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson

Qual. Reliab. Eng. Int., 2016

Risk Assessment of Railway Transportation Systems using Timed Fault Trees.

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

Qual. Reliab. Eng. Int., 2016

Epidemic spreading model of complex dynamical network with the heterogeneity of nodes.

Sheng Hong, Hongqi Yang, Tingdi Zhao, Xiaomin Ma

Int. J. Syst. Sci., 2016

Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging.

Zixia Zheng, Jin Tian, Tingdi Zhao

Cogn. Technol. Work., 2016

2015

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification.

Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson

Reliab. Eng. Syst. Saf., 2015

An improved system safety Analysis Method based on Accimap.

Juanjuan Gao, Jin Tian, Tingdi Zhao

Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

2014

Formal modelling and quantitative analysis of satellite navigation systems.

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

CoRR, 2014

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.

Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013

A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System.

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2008

An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200.

Xiaolei Li, Jin Tian, Tingdi Zhao

Proceedings of the The Third International Conference on Availability, 2008