Formal verification applied to autonomous spacecraft attitude control

Engineering

• Attitude Control 100%
• Autonomous System 100%
• Rotational 50%
• Applicability 50%
• Stability Requirement 50%
• Formal Method 50%
• Determines 50%
• Dynamic Models 50%
• Starting Point 50%

Keyphrases

• Autonomous Spacecraft 100%
• Spacecraft Attitude Control 100%
• Aerospace Systems 50%
• Linearizable 50%
• Formal Verification Tools 50%
• Source Data Verification 50%
• Simulink Model 50%

Computer Science

• Formal Verification 100%
• Autonomous System 100%
• Simulink 50%
• Open Source 50%
• Starting Point 50%