Explore projects

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

Provides a demonstrator that enables showing off / testing consistency checking between/on model data from different BaSys AAS submodels (via BaSyx interface)

Provides a demonstrator that enables showing off / testing consistency checking between/on model data from BaSys AAS submodels (via BaSyx interface) and from OPC UA servers

Energy Market for decentralized cross-commodity energy management