Toward formalizing control system simulation software

The job of a control engineer is to build controllers for physical systems. Traditionally this has been done by creating a mathematical model of the system using differential equations. With the model the engineer designs a controller and analyzes the new model (original model and the controller) for proper control and stability.