This document provides a brief overview of the capabilities of SpaceEx and the concepts behind it.
This document provides some answers to common questions about SpaceEx.
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.
The Compositional Interchange Format (CIF) defines formal data structures for representing systems with continuous as well as discrete dynamics,
This document describes the modeling language used in SpaceEx. We provide twotutorial 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.