Zhaoguang Peng

According to our database, Zhaoguang Peng authored at least 7 papers between 2013 and 2016.

Collaborative distances:

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

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

Uncertainty analysis of phased mission systems with probabilistic timed automata.

Zhaoguang Peng, Yu Lu, Alice Miller

Proceedings of the IEEE International Conference on Prognostics and Health Management, 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

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