Example of an DC-DC buck converter with PID controller