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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Probabilistic model checking applied to autonomous spacecraft reconfiguration


    Beteiligte:


    Erscheinungsdatum :

    01.06.2016


    Format / Umfang :

    1102791 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    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 Archiv | 2005