This study focuses on the formal verification of a spacecraft attitude control system, essential for ensuring the safety and efficacy of spacecraft operations. The paper discusses the challenges in verifying spacecraft control systems due to their nonlinear and high-dimensional nature. Formal verification methods, particularly reachable set analysis, are highlighted for their effectiveness in verifying complex dynamic systems. The research emphasizes the applicability of the methodology to other dynamic systems for safety verification. The spacecraft dynamic system is detailed, showcasing controllers designed based on Lyapunov stability theory for attitude control using reaction wheels. Through formal verification methods, particularly using the CORA toolbox in Matlab, the study analyzes the safety and performance of traditional proportional-differential controller. Experimental results demonstrate the application of formal verification in assessing the safety of spacecraft control systems, with a focus on satisfaction reaction wheel angular velocities and spacecraft angular velocities constrains. The study concludes by discussing the implications of the verification results and the potential for integrating formal verification methods in spacecraft design and operation.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems


    Weitere Titelangaben:

    Lect. Notes Electrical Eng.


    Beteiligte:
    Yan, Liang (Herausgeber:in) / Duan, Haibin (Herausgeber:in) / Deng, Yimin (Herausgeber:in) / Song, Chi (Autor:in) / Peng, Zhuoyue (Autor:in) / Hu, Yang (Autor:in) / Wang, Jiaju (Autor:in) / Pang, Zhenyu (Autor:in) / Shen, Qiang (Autor:in)

    Kongress:

    International Conference on Guidance, Navigation and Control ; 2024 ; Changsha, China August 09, 2024 - August 11, 2024



    Erscheinungsdatum :

    08.03.2025


    Format / Umfang :

    10 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL

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


    Formal Verification Applied to Spacecraft Attitude Control

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