Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Adaptive Limit-checking for Spacecraft using Relevance Vector Autoregressive Model



    Conference:

    8th, International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 2005 ; Munich, Germany



    Publication date :

    2005-01-01


    Size :

    P84


    Remarks:

    Held on CD-ROM



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Adaptive Harmonic Signal Detecting Using Autoregressive Model

    Prokopenko, Igor / Omelchuk, Igor / Petrova, Yuliia et al. | IEEE | 2021


    Probabilistic model checking applied to autonomous spacecraft reconfiguration

    Nardone, Vittoria / Santone, Antonella / Tipaldi, Massimo et al. | IEEE | 2016


    Vector Autoregressive Model-Based Anomaly Detection in Aviation Systems

    Melnyk, Igor / Matthews, Bryan / Valizadegan, Hamed et al. | AIAA | 2016



    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archive | 2002