Huang, Yujia and Jimenez Rodriguez, Ivan Dario and Zhang, Huan and Shi, Yuanyuan and Yue, Yisong (2022) FI-ODE: Certified and Robust Forward Invariance in Neural ODEs. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20221219-234122405
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20221219-234122405
Abstract
We study how to certifiably enforce forward invariance properties in neural ODEs. Forward invariance implies that the hidden states of the ODE will stay in a "good" region, and a robust version would hold even under adversarial perturbations to the input. Such properties can be used to certify desirable behaviors such as adversarial robustness (the hidden states stay in the region that generates accurate classification even under input perturbations) and safety in continuous control (the system never leaves some safe set). We develop a general approach using tools from non-linear control theory and sampling-based verification. Our approach empirically produces the strongest adversarial robustness guarantees compared to prior work on certifiably robust ODE-based models (including implicit-depth models).
Item Type: | Report or Paper (Discussion Paper) | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||||||||
ORCID: |
| ||||||||||||
Additional Information: | This work is funded in part by AeroVironment and NSF #1918865. | ||||||||||||
Funders: |
| ||||||||||||
Record Number: | CaltechAUTHORS:20221219-234122405 | ||||||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20221219-234122405 | ||||||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||||||
ID Code: | 118474 | ||||||||||||
Collection: | CaltechAUTHORS | ||||||||||||
Deposited By: | George Porter | ||||||||||||
Deposited On: | 21 Dec 2022 00:58 | ||||||||||||
Last Modified: | 21 Dec 2022 00:58 |
Repository Staff Only: item control page