Knowledge modeling of power grids with SysMD

We give an overview of the Systems modeling language SysMD and demonstrate its use in the modeling of innovative power grid systems. The language SysMD allows us to structure and document the knowledge about system-wide dependencies in a formal, textual way linked with its related documentation in the Markdown (MD) format. SysMD models can be evaluated locally or uploaded to a cloud backend, where they are used as a knowledge-base for continuous verification. We describe syntax and semantics of the language and demonstrate its application for evaluating power grid scenarios of the future.