Geodesic
Formal composition of hybrid systems
Theory and applications of categories, Tome 35 (2020), pp. 1634-1682

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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 fiber product. 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.

Publié le :
Classification : 18B20
Keywords: hybrid dynamical system, semiconjugacy, double category 
@article{TAC_2020_35_a44,
     author = {Jared Culbertson and Paul Gustafson and Daniel E. Koditschek and Peter F. Stiller},
     title = {Formal composition of hybrid systems},
     journal = {Theory and applications of categories},
     pages = {1634--1682},
     publisher = {mathdoc},
     volume = {35},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2020_35_a44/}
}
TY  - JOUR
AU  - Jared Culbertson
AU  - Paul Gustafson
AU  - Daniel E. Koditschek
AU  - Peter F. Stiller
TI  - Formal composition of hybrid systems
JO  - Theory and applications of categories
PY  - 2020
SP  - 1634
EP  - 1682
VL  - 35
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2020_35_a44/
LA  - en
ID  - TAC_2020_35_a44
ER  - 
%0 Journal Article
%A Jared Culbertson
%A Paul Gustafson
%A Daniel E. Koditschek
%A Peter F. Stiller
%T Formal composition of hybrid systems
%J Theory and applications of categories
%D 2020
%P 1634-1682
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2020_35_a44/
%G en
%F TAC_2020_35_a44
Jared Culbertson; Paul Gustafson; Daniel E. Koditschek; Peter F. Stiller. Formal composition of hybrid systems. Theory and applications of categories, Tome 35 (2020), pp. 1634-1682. http://geodesic.mathdoc.fr/item/TAC_2020_35_a44/