Your project is very interesting because it uses mbed to control a power converter;
Did you use a controller like a PID in order to regulate tensions and or current? If so, do you use the duty cycle as the command and where can we find the code?
It seems that you use pwm of 20-30kHz.Did you try to control tensions and or current with higher values of frequency with mbed?
I tell that because I have some difficulties to make a pid on mbed in order to regulate a tension of a buck converter with the variation of the duty cycle for high frequençies of pwm (more than some khz).I tried with PID.h and dsp.h from CMSIS_dsp without success at high frequençy.The explanations of the pid functions of these libraries are not complete and examples are lacking on this subject.