To appear for CDC paper
CV up to date