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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:
    Yan, Liang (editor) / Duan, Haibin (editor) / Deng, Yimin (editor) / Song, Chi (author) / Peng, Zhuoyue (author) / Hu, Yang (author) / Wang, Jiaju (author) / Pang, Zhenyu (author) / Shen, Qiang (author)

    Conference:

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



    Publication date :

    2025-03-08


    Size :

    10 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    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