A category of hybrid systems
Dynamical Systems
2016-12-07 v1 Category Theory
Abstract
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.
Cite
@article{arxiv.1612.01950,
title = {A category of hybrid systems},
author = {Eugene Lerman},
journal= {arXiv preprint arXiv:1612.01950},
year = {2016}
}
Comments
Preliminary version. A small piece of a larger project. Comments welcome