2 citations · 3 across the 2 of their papers we have counts for
3 papers
Formal composition of hybrid systems
Jared Culbertson, Paul Gustafson, Daniel E. Koditschek +1
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 hiera…
Braid group representations from twisted tensor products of algebras
Paul Gustafson, Andrew Kimball, Eric C. Rowell +1
We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationshi…
Integral Metaplectic Modular Categories
Adam Deaton, Paul Gustafson, Leslie Mavrakis +5
A braided fusion category is said to have Property if the associated braid group representations factor over a finite group. We verify integral metaplectic modular cat…