Modeling PWM DC-DC converter as discrete input/continuous output system and its application to system local controllability | IEEE Conference Publication | IEEE Xplore