arXiv:1703.05085 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reachable set, discrete-time polynomial system, semidefinite approximations, super level sets, general semialgebraic set constraints Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset