Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification Applied to Spacecraft Attitude Control


    Beteiligte:
    Lang, Kendra (Autor:in) / Klett, Corbin (Autor:in) / Hawkins, Kelsey (Autor:in) / Feron, Eric (Autor:in) / Tsiotras, Panagiotis (Autor:in) / Phillips, Sean (Autor:in)

    Kongress:

    AIAA Scitech 2021 Forum



    Erscheinungsdatum :

    01.01.2021




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL

    Lang, Kendra / Klett, Corbin / Hawkins, Kelsey et al. | TIBKAT | 2021


    Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems

    Song, Chi / Peng, Zhuoyue / Hu, Yang et al. | Springer Verlag | 2025


    Modal Analysis Applied to Spacecraft Attitude Control

    Aranda, Joaquín / Crespo, Javier | AIAA | 2007