HybSys

Implementation of hybrid systems datatype from Formal composition of hybrid systems [1]. For an easier introduction, take a look at these slides.

1. Culbertson, Jared, Paul Gustafson, Daniel E. Koditschek, and Peter F. Stiller. "Formal composition of hybrid systems." arXiv preprint arXiv:1911.01267 (2019).