Formal verification techniques are necessary to demonstrate the completeness, the correctness, and the consistency in implementing spacecraft model-based autonomy requirements, where we have to explore the behavior of the system over a large input range. This paper introduces an approach based on probabilistic model checking to verify the specification of spacecraft autonomous reconfiguration functionality, modeled via Markov Decision Process. Some preliminary results show how this approach can be used to check whether the system fulfills suitably-defined properties under a given probability.
Probabilistic model checking applied to autonomous spacecraft reconfiguration
2016-06-01
1102791 byte
Conference paper
Electronic Resource
English
Decentralized autonomous planning of cluster reconfiguration for fractionated spacecraft
Online Contents | 2016
|Decentralized autonomous planning of cluster reconfiguration for fractionated spacecraft
Online Contents | 2016
|A Generalized Framework for Autonomous Formation Reconfiguration of Multiple Spacecraft
British Library Conference Proceedings | 2005
|Autonomous Control System Reconfiguration for Spacecraft with Non-Redundant Actuators
British Library Conference Proceedings | 1995
|A generalized framework for autonomous formation reconfiguration of multiple spacecraft
Tema Archive | 2005
|