MIT

Building Safe Autonomy

Main menu

Simulation-Driven Reachability Using Matrix Measures

Title

Simulation-Driven Reachability Using Matrix Measures

Publication Type

Journal Article

Year of Publication

2017

Authors

Keywords Discrepancy function, Embedded System, Matrix measures, Nonlinear System, Reachability

Journal

ACM Transactions on Embedded Computing Systems

Volume

17

Pagination

1–28

Date Published

dec

Publisher

ACM

URL

http://dl.acm.org/citation.cfm?doid=3136518.3126685

DOI

http://dx.doi.org/10.1145/3126685