%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