You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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: unverifie…
The files in this repository have been approved for public release.
88ABW-2015-6168
About
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: unverifie…