hyst-benchmark

HyST Benchmarks Repository

This repository contains hybrid systems, hybrid automaton, and networks of hybrid automata benchmarks and examples to be used with HyST.

This repository will be set up as a linked submodule to the main HyST repository (see http://git-scm.com/book/en/v2/Git-Tools-Submodules ):

https://github.com/verivital/hyst

http://verivital.com/hyst/