The increased efficiency and quality constraints imposed on electrical energy systems have inspired a renewed research interest in the study of formal approaches to the analysis and control of power electronics converters. ...