Explore projects

Provides a demonstrator that enables showing off / testing consistency checking between AF3 and OM models

Run distributed FMI-based co-simulations in ROS!

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

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

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

Core components of the OpenSBT framework.

This project has moved to: https://github.com/opensbt/opensbt-core

(14-11-2024)

Evaluate XOSC scenarios using a highly parallelizable CARLA setup!