arXiv:0910.2187 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords nonlinear systems, computing abstractions, attainable sets, design finite state controllers, method yields highly accurate abstractions Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset