A category of hybrid systems
Eugene Lerman · arXiv (Cornell University) · 2016
We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of hybrid systems.