5 papers · 1 filter
Uncertainty Quantification via Invariant-Measure Conformal Prediction
Mohammadhossein Bakhtiaridoust, Dominik Baumann, Shankar Deka
Uncertainty quantification for learned stochastic dynamical systems is essential in safety-critical tasks such as control and monitoring. Standard conformal prediction provides fin…
Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
Jianqiang Ding, Shankar A. Deka
Providing rigorous reachability guarantees for unknown complex systems is a crucial and challenging task. In this paper, we present a novel data-driven framework that addresses thi…
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…
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…
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…