We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Formal composition of hybrid systems

Abstract: 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, hierarchies of hybrid systems correspond to template-anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierarchical composition of template-anchor pairs corresponds to the composition of spans via pullback. To model sequential composition, we introduce "directed hybrid systems," each of which flows from an initial subsystem to a final subsystem in a Conley-theoretic sense. Sequential composition of directed systems is given by a pushout of graph embeddings, rewriting the continuous dynamics of the overlapping subsystem to prioritize the second directed system. Independent parallel composition corresponds to a categorical product with respect to semiconjugacy. To formalize the compatibility of these three types of composition, we construct a vertically cartesian double category of hybrid systems where the vertical morphisms are semiconjugacies, and the horizontal morphisms are directed hybrid systems.
Comments: 49 pages; v2: added figures to accompany examples, minor corrections, more detail to various proofs
Subjects: Category Theory (math.CT); Robotics (cs.RO); Dynamical Systems (math.DS)
MSC classes: 18D05, 93C30, 37C70, 68T40
Cite as: arXiv:1911.01267 [math.CT]
  (or arXiv:1911.01267v2 [math.CT] for this version)

Submission history

From: Paul Gustafson [view email]
[v1] Mon, 4 Nov 2019 15:01:37 GMT (127kb)
[v2] Mon, 10 Aug 2020 19:48:57 GMT (299kb,D)

Link back to: arXiv, form interface, contact.