Compositional Models for Power Systems
arXiv:2009.06833 · doi:10.4204/EPTCS.323.10
Abstract
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 towards a modern 'Smart Grid.' We present a methodology for specifying, managing, and reasoning within multiple models of distributed energy resources (DERs), entities which produce, consume, or store power, using categorical databases and symmetric monoidal categories. Considering the problem of distributing power on the grid in the presence of DERs, we show how to connect a generic problem specification with implementation-specific numerical solvers using the paradigm of categorical databases.
In Proceedings ACT 2019, arXiv:2009.06334
References in corpus (8)
- A survey of graphical languages for monoidal categories
- A Universal Construction for (Co)Relations
- Open Petri Nets
- A Compositional Framework for Reaction Networks
- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
- A bicategory of decorated cospans
- Synthetic Generation of Solar States for Smart Grid: A Multiple Segment Markov Chain Apptoach
- Representing operational semantics with enriched Lawvere theories
Cited by in corpus (4)
- Categorical Semantics of Cyber-Physical Systems Theory
- Compositional Cyber-Physical Systems Modeling
- Operads for complex system design specification, analysis and synthesis
- A Multi-Agent, Laxity-Based Aggregation Strategy for Cost-Effective Electric Vehicle Charging and Local Transformer Overload Prevention