Nonlinear large-signal modeling of PWM DC-DC switching power converters