We present a hybrid dynamical type theory equipped with useful primitive...
We develop a compositional framework for formal synthesis of hybrid syst...
This work draws its inspiration from three important sources of research...
We examine overlapping clustering schemes with functorial constraints, i...
share