4 papers
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…
Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
Jianqiang Ding, Nishant Jayesh Bhave, Shankar A. Deka
This letter proposes a novel sampled-data model predictive control framework for continuous control-affine nonlinear systems that provides rigorous reach-avoid and recursive feasib…
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…