On the Forward Invariance of Neural ODEs

On the Forward Invariance of Neural ODEs

10 October 2022

Wei Xiao

Tsun-Hsuan Wang

Ramin Hasani

Mathias Lechner

Chuang Gan

Daniela Rus

Papers citing "On the Forward Invariance of Neural ODEs"

9 / 9 papers shown

Title
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 42 2 0 02 Aug 2024
ABNet: Attention BarrierNet for Safe and Scalable Robot Learning Wei Xiao Tsun-Hsuan Wang Daniela Rus OffRL 38 1 0 18 Jun 2024
KirchhoffNet: A Scalable Ultra Fast Analog Neural Network Zhengqi Gao Fan-Keng Sun Ron Rohrer Duane S. Boning 33 0 0 24 Oct 2023
Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions Wei Xiao R. Allen Daniela Rus 4 1 0 06 Sep 2023
SafeDiffuser: Safe Planning with Diffusion Probabilistic Models Wei Xiao Tsun-Hsuan Wang Chuang Gan Daniela Rus DiffM 27 27 0 31 May 2023
FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs Yujia Huang I. D. Rodriguez Huan Zhang Yuanyuan Shi Yisong Yue 16 0 0 30 Oct 2022
Interpreting Neural Policies with Disentangled Tree Representations Tsun-Hsuan Wang Wei Xiao Tim Seyde Ramin Hasani Daniela Rus DRL 27 2 0 13 Oct 2022
Liquid Structural State-Space Models Ramin Hasani Mathias Lechner Tsun-Hsuan Wang Makram Chahine Alexander Amini Daniela Rus AI4TS 104 95 0 26 Sep 2022
On The Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher Ramin Hasani Mathias Lechner J. Cyranka S. Smolka Radu Grosu 74 31 0 16 Dec 2020