Taxonomic Search: graham, Simulink, Academia

1 result

Results

file

Visible to the public New Developments in Model-Integrated Development of High-Confidence Software

Submitted by nkottens on Mon, 02/07/2011 - 2:34pm

Slides for NSF Kickoff Meeting: Science of Integration for CPS on 11/29/2010

by, Joe Porter, Graham Hemmingway, Nicholas Kottenstette, Harmon Nine, Chris vanBuskirk, Gabor Karsai and Janos Sztipanovits

Provides steps for:

1. Design of working control system for Quadrotor Aircraft using a Simulink Based Model

2. Software design using the ESMoL Modeling Language