Title | Simulation-Driven Reachability Using Matrix Measures |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Fan C, Kapinski J, Jin X, Mitra S |
Journal | ACM Transactions on Embedded Computing Systems |
Volume | 17 |
Pagination | 1–28 |
Date Published | dec |
ISSN | 15399087 |
Keywords | Discrepancy function, Embedded System, Matrix measures, Nonlinear System, Reachability |
URL | http://dl.acm.org/citation.cfm?doid=3136518.3126685 |
DOI | 10.1145/3126685 |
Simulation-Driven Reachability Using Matrix Measures
Submitted by chuchu@mit.edu on