2 citations · 3 across the 13 of their papers we have counts for
Showing 2025Show all
3 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…
cs.RO2025
Robotic Trail Maker Platform for Rehabilitation in Neurological Conditions: Clinical Use Cases
Srikar Annamraju, Harris Nisar, Dayu Xia +4
Patients with neurological conditions require rehabilitation to restore their motor, visual, and cognitive abilities. To meet the shortage of therapists and reduce their workload,…