In this paper a modeling framework is introduced for describing how complex recovery algorithms used to implement safety critical control systems on a recoverable computer can affect the stability and performance characteristics of the closed-loop system. The model has a hybrid structure consisting of three distinct parts: a Markovian exosystem, a finite-state machine, and a jump-linear dynamical system. It is shown in some detail how such a model could be used to characterize rollback recovery algorithms. Two specific examples are given where mean-square stability is determined as a function of upset persistency and various algorithm parameters.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards hybrid models of recoverable computer control systems


    Beteiligte:
    Gray, W.S. (Autor:in) / Patilkulkarni, S. (Autor:in) / Gonzalez, O.R. (Autor:in)


    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    653425 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Performance analysis of recoverable flight control systems using hybrid dynamical models

    Zhang, Hong / Gray, W.S. / Gonzalez, O.R. | Tema Archiv | 2005


    Characterization of a Recoverable Flight Control Computer System

    Malekpour, Mahyar / Torres, Wilfredo | NTRS | 1999


    Recoverable satellites

    Harvey, Brian | Springer Verlag | 2013


    Closed-Loop Neutron Particle Effects Testing on a Recoverable Flight Control Computer

    Eure, K. / IEEE / AIAA | British Library Conference Proceedings | 2004


    Closed-loop neutron particle effects testing on a recoverable flight control computer

    Eure, K. / Belcastro, C.M. / Koppen, D. et al. | IEEE | 2004