State-Space Modeling and Reachability Analysis for a DC Microgrid | IEEE Conference Publication | IEEE Xplore