/6UCubeSat

This repository contains two versions of 6U CubeSat Attitude Control System in SpeAR, AADL/AGREE, and Simulink/Simulink Design Verifier: a basic model and an RTA model. The basic model utilizes a PID controller for the controller block, while the RTA model controller utilizes a RTA controller design that includes 3 separate components: unverified controller, verified controller, and decision module.

Primary LanguageMATLAB

Watchers