In this paper, the temporal attitude control problem for the spacecraft attitude control system (SACS) model is formulated with LTL specifications, and the active fault isolation (AFI) method is also constructed to accomplish fault diagnosis. The linear SACS is built by leveraging the spacecraft attitude dynamics and kinematics with the consideration of physical constraints. For the sake of specific observation missions and the safety of the spacecraft, the temporal attitude control target is proposed and transformed into a set of linear constraints with LTL. By introducing the double negation method and the Karush-Kuhn-Tucker (KKT) conditions, the overall attitude control and active fault isolation scheme can be rewritten as the mixed-integer programming (MIP). Finally, the effectiveness of the proposed method is demonstrated with a numerical simulation for the actual SACS model.
Attitude Control and Active Fault Isolation for Spacecraft Attitude Control System with LTL and Optimization Methods
Lect. Notes Electrical Eng.
International Conference on Guidance, Navigation and Control ; 2024 ; Changsha, China August 09, 2024 - August 11, 2024
04.03.2025
10 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Fault-Tolerant Spacecraft Magnetic Attitude Control
British Library Conference Proceedings | 2013
|Fault-tolerant attitude control of spacecraft
TIBKAT | 2021
|Springer Verlag | 2021
|NTIS | 1968
|