We consider the issue of multiple overlapping data models in the context of modern power grids. We present a methodology for specifying, managing and reasoning within multiple models of distributed energy resources (DERs, e.g., microgrids and generators) using categorical databases and symmetric monoidal categories in which we connect smart grid problem specification with implementing specific numerical solvers.

Share This