SOS programming-based large-signal stability analysis and controller synthesis for DC microgrid using invariant sets | CSEE Journals & Magazine | IEEE Xplore