3 papers
cs.LO2021
Hybrid dynamical type theories for navigation
Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framew…
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…