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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Probabilistic model checking applied to autonomous spacecraft reconfiguration


    Contributors:


    Publication date :

    2016-06-01


    Size :

    1102791 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    A Generalized Framework for Autonomous Formation Reconfiguration of Multiple Spacecraft

    Walls, J. / Howard, A. / Homaifar, A. et al. | British Library Conference Proceedings | 2005


    Autonomous Control System Reconfiguration for Spacecraft with Non-Redundant Actuators

    Grossman, W. / Goddard Space Flight Center | British Library Conference Proceedings | 1995


    A generalized framework for autonomous formation reconfiguration of multiple spacecraft

    Walls, J. / Howard, A. / Homaifar, A. et al. | Tema Archive | 2005