2 papers
math.CT2019
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…
math.CO2019
Extendable shellability for -dimensional complexes on vertices
Jared Culbertson, Anton Dochtermann, Dan P. Guralnik +1
We prove that for all a shellable -dimensional simplicial complex with at most vertices is extendably shellable. The proof involves considering the structure of…