Tingdi Zhao

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