Tingdi Zhao

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 15

Top Topics

Quantitative Analysis

Navigation Systems

Safety Analysis

Top Venues

Reliab. Eng. Syst. Saf.

Qual. Reliab. Eng. Int.

Publications

Jianyong Gao, Liyi Ma, Chen Qing, Tingdi Zhao, Zhipeng Wang, Jie Geng, Ying Li
A Health Monitoring Model for Circulation Water Pumps in a Nuclear Power Plant Based on Graph Neural Network Observer. Sensors 24 (14) (2024)
Yuxue Jin, Jie Geng, Chuan Lv, Ying Chi, Tingdi Zhao
A methodology for equipment condition simulation and maintenance threshold optimization oriented to the influence of multiple events. Reliab. Eng. Syst. Saf. 229 (2023)
Jiayun Chu, Tingdi Zhao, Jian Jiao, Yuan Yuan, Yongfeng Jing
SOTIF-Oriented Perception Evaluation Method for Forward Obstacle Detection of Autonomous Vehicles. IEEE Syst. J. 17 (2) (2023)
Jiayun Chu, Tingdi Zhao, Jian Jiao, Zhiwei Chen
Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements. IEEE Syst. J. 15 (2) (2021)
Hongli Wang, Deming Zhong, Tingdi Zhao, Fuchun Ren
Integrating Model Checking With SysML in Complex System Safety Analysis. IEEE Access 7 (2019)
Huan Wu, Tingdi Zhao, Jian Jiao, Zhiwei Chen
XML-based modeling method of phased-mission systems subject to probabilistic common cause failures. J. Intell. Fuzzy Syst. 36 (2) (2019)
Zhiwei Chen, Tingdi Zhao, Jian Jiao, Fuchun Ren
Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements. IEEE Access 6 (2018)
Rongbin Han, Shihai Wang, Bin Liu, Tingdi Zhao, Zhiao Ye
A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery. IEEE Access 6 (2018)
Zhiwei Chen, Tingdi Zhao, Shanshan Luo, Yufeng Sun
Warranty Cost Modeling and Warranty Length Optimization Under Two Types of Failure and Combination Free Replacement and Pro-Rata Warranty. IEEE Access 5 (2017)
Wang Wang, Xiaohong Bao, Tingdi Zhao
A research for embedded system software accident mechanism. ICSRS (2017)
Fuchun Ren, Tingdi Zhao, Jian Jiao, Yuqing Hu
Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept. IEEE Access 5 (2017)
Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32 (2) (2016)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32 (1) (2016)
Sheng Hong, Hongqi Yang, Tingdi Zhao, Xiaomin Ma
Epidemic spreading model of complex dynamical network with the heterogeneity of nodes. Int. J. Syst. Sci. 47 (11) (2016)
Zixia Zheng, Jin Tian, Tingdi Zhao
Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging. Cogn. Technol. Work. 18 (4) (2016)
Juanjuan Gao, Jin Tian, Tingdi Zhao
An improved system safety Analysis Method based on Accimap. IEEM (2015)
Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144 (2015)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Formal modelling and quantitative analysis of satellite navigation systems. CoRR (2014)
Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS (2013)
Xiaolei Li, Jin Tian, Tingdi Zhao
An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200. ARES (2008)