Nonlinear design and stability analysis with experimental validation of cascaded pi controlled dc/dc boost converters.