N ov 2 01 7 A detectability criterion and data assimilation for non-linear differential equations