Our paper has also been accepted to IEEE CDC.