activity
20242026
most citedTime-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

eess.SY2025

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…

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…