Application: Quanser 3-degree-of-freedom Helicopter
- We intend to use this pedagogical tool to showcase the fully verified process from annotated diagram to binary code running the engines.
- At this point we successfully generate annotated C code expressing the controller stability.
Application: Subscale Damage Tolerant F/A-18*
Report.pdf
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. Case 88ABW-2012-6212, 28 Nov 2012.