The STC algorithm is a recent enhancement of the LGG algorithm that produces fewer convex sets for a given accuracy and computes more precise images of discrete transitions.
This document describes the modeling language used in SpaceEx. We provide two tutorial examples that illustrate how hybrid automata are defined and composed.
The SpaceEx Virtual Machine (VM) allows you to run the SpaceEx platform locally, in a protected and safe environment. The virtual machine runs as if it was a separate computer, connected to the host system only via a shared internet connection.
