keywords power electronics modeling of power converters dc-dc converters pfc rectifiers digital control