1 paper · 1 filter
Jared Culbertson, Paul Gustafson, Daniel E. Koditschek +1
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hiera…