Stability analysis is considered for a class of pulse-width modulated (PWM) systems. A procedure is developed for systematic search for Lyapunov functions. The duty ratios that determine the switching times are used to partition the state space in such a way that stability is verified if a set of coupled linear matrix inequalities (LMIs) is feasible. Global stability as well as the computation of local regions of attraction is considered.