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. Switched systems represent a useful framework for modeling these converters and the peculiarities of their operating conditions and control goals justify the specific classification of "switched electronic systems". Indeed, idealized...