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…