Quotients of fully nonlinear control systems

Stability properties of interconnected vehicles

Formation input-to-state stability 

Decentralizing formations of multi-agent systems

Flying Hot Potatoes 

Consistent abstractions of affine control systems

Composing abstractions of hybrid systems