Contraction Analysis of Nonlinear DAE Systems - Hung D. Nguyen; Thanh Long Vu; Jean-Jacques Slotine; Konstantin Turitsyn (2017)