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*


DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. Case 88ABW-2012-6212, 28 Nov 2012.