activity
20202026
most citedDynamically Computing Adversarial Perturbations for Recurrent Neural Networks

2 citations · 3 across the 13 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

eess.SY2024

Extensions of the Path-integral formula for computation of Koopman eigenfunctions

Shankar A. Deka, Umesh Vaidya

Representing nonlinear dynamical systems using the Koopman Operator and its spectrum has distinct advantages in terms of linear interpretability of the model as well as in analysis…

eess.SY2024★ 1 cited

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum

Jianqiang Ding, Shankar A. Deka

In this work, we present a novel Koopman spectrum-based reachability verification method for nonlinear systems. Contrary to conventional methods that focus on characterizing all po…