Mission reliability model of spacecraft launch based on bisimulation of continuous-time Markov processes

Xue-jun DONG,Xiao-yue WU,Ying-wu CHEN

DOI: https://doi.org/10.3969/j.issn.1000-6788.2012.10.025

2012-01-01

Abstract:Characteristics of complex state space, multi-process concurrent execution and sub-processes iterative make mission reliability assessment for the whole process of spacecraft launch engineering implementation is difficult to quantify. Multiple concurrently executing continuous time Markov chain is constructed to describe state transition constraint relations of spacecraft launch engineering. The state space of the whole process of spacecraft launch engineering implementation is simplified by bisimulation equivalence relation. The model of mission reliability for spacecraft launch engineering is builded by continuous time Markov chain transfer probability characteristics. In this paper, the example applied results shows that the model is a feasible for decision-making demonstration of spacecraft launch project, evaluation of mission reliability and analysis of weak link.