A category of hybrid systems

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.

arXiv commentPreliminary version. A small piece of a larger project. Comments welcome

References in corpus (1)

• Dynamics on Networks of Manifolds

Cited by in corpus (3)

• Networks of hybrid open systems
• Characterizing Compositionality of LQR from the Categorical Perspective
• Global controllability tests for geometric hybrid control systems