Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Compositional models for power systems



Dhananjay Anand, Blake S. Pollard, Spencer J. Breiner, John S. Nolan, Eswaran Subrahmanian


The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management in the context of the electrical power grid, as it transitions from centralized generation with unidirectional power flow towards a more decentralized `Smart Grid.' Considering the problem of distributing power on the grid, we show how to connect a generic problem specification with implementation specific numerical solvers using the paradigm of categorical databases. Zooming in to the device level, we define a symmetric monoidal category of distributed energy resources (DERs), i.e. entities which produce, consume, or store power. The tensor product in this category gives a way of aggregating such devices and their feasible operating regimes.
Proceedings Title
COMPOSITIONALITY - Special issue on Category Theory
Conference Dates
July 15-19, 2019
Conference Location
Conference Title
Applied Category Theory


power systems, compositionality, solvers


Anand, D. , Pollard, B. , Breiner, S. , Nolan, J. and Subrahmanian, E. (2019), Compositional models for power systems, COMPOSITIONALITY - Special issue on Category Theory, Oxford, -1, [online], (Accessed June 24, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created September 8, 2019