Cascaded H-bridge Inverters for UPS Applications: Adaptive Backstepping Control and Formal Stability Analysis | IEEE Conference Publication | IEEE Xplore