These models will be used to synthesise a feedback controller, and verified in simulation before being implemented upon the hardware. The resultant controller will then be refined in a cycle of rapid control prototyping. The module complements the mathematics module