Systematic Controller Design for Inverter-Based Microgrids With Certified Large-Signal Stability and Domain of Attraction | IEEE Journals & Magazine | IEEE Xplore