PID tutorial C code example using a Texas Instruments Stellaris LM3S6965 microcontroller, to control and basic boost converter circuit