Systematic Controller Design for Inverter-Based Microgrids With Certified Large-Signal Stability and Domain of Attraction.