Intercategories led me to: hybrid time trajectories.
Formal composition of hybrid systems J Culbertson, P Gustafson, DE Koditschek… -arXiv 2019 – arxiv.org
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 hierarchical, sequential, and independent parallel composition. In our framework …