3 papers
eess.SY2025
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
Jianqiang Ding, Dingran Yuan, Shankar A. Deka
Designing controllers with provable formal guarantees has become an urgent requirement for cyber-physical systems in safety-critical scenarios. Beyond addressing scalability in hig…
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…
math.DS2023
Path-Integral Formula for Computing Koopman Eigenfunctions
Shankar A. Deka, Sriram S. K. S. Narayanan, Umesh Vaidya
The paper is about the computation of the principal spectrum of the Koopman operator (i.e., eigenvalues and eigenfunctions). The principal eigenfunctions of the Koopman operator ar…