Simulation-Driven Reachability Using Matrix Measures

TitleSimulation-Driven Reachability Using Matrix Measures
Publication TypeJournal Article
Year of Publication2017
AuthorsFan C, Kapinski J, Jin X, Mitra S
JournalACM Transactions on Embedded Computing Systems
Volume17
Pagination1–28
Date Publisheddec
ISSN15399087
KeywordsDiscrepancy function, Embedded System, Matrix measures, Nonlinear System, Reachability
URLhttp://dl.acm.org/citation.cfm?doid=3136518.3126685
DOI10.1145/3126685