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 … https://arxiv.org/abs/1911.01267

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 …
https://arxiv.org/abs/1911.01267

Leave a comment

Your email address will not be published. Required fields are marked *


4 − = three

Leave a Reply