Linear complementarity models for steady-state analysis of pulse-width modulated switched electronic systems | IEEE Conference Publication | IEEE Xplore