Publications
Below are some of our selected publications
Preprints
Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
Jianqiang Ding, Nishant Bhave, Shankar A. Deka
2026
Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
Jianqiang Ding, Shankar A. Deka
2025
Robotic Trail Maker Platform for Rehabilitation in Neurological Conditions: Clinical Use Cases
Srikar Annamraju, Harris Nisar, Dayu Xia, Shankar A Deka, Anne Horowitz, Nadica Miljković, Dušan M Stipanović
2025
Estimating unknown dynamics and cost as a bilinear system with Koopman-based Inverse Optimal Control
Victor Nan Fernandez-Ayala, Shankar A Deka, Dimos V Dimarogonas
2024
Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
Jianqiang Ding, Shankar A. Deka
2024
Published (truncated)
Minimal Intervention Shared Control with Guaranteed Safety under Non-Convex Constraints
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
2026
2026 IEEE International Conference on Robotics & Automation (ICRA)
Feasibility of machine learning application in pavement life cycle assessment : A review
Bhaskar Pratim Das, Shankar Deka, Taavi Dettenborn, Sanandam Bordoloi
2026
Renewable and Sustainable Energy Reviews
Provable Reach-Avoid Controllers Synthesis for Deterministic Discrete-Time Systems Based on Convex Computations of Controlled Reach-Avoid Sets
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Shankar A. Deka, Bai Xue
2026
Design and Verification of Cyber-Physical Systems: From Theory to Applications
PyBDR: Design and usage of a toolkit for set-boundary based reachability analysis
Taoran Wu, Jianqiang Ding, Zhen Liang, Shankar A. Deka, Bai Xue
2026
Science of Computer Programming
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
Jianqiang Ding, Dingran Tintin Yuan, Shankar A. Deka
2025
2025 IEEE 64th Conference on Decision and Control, CDC 2025
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2025
Formal Methods - 26th International Symposium, FM 2024, Proceedings
Editorial: Special Issue on Distributed Localization and Formation of Unmanned Systems Using Imperfect Sharing and Measured Information
Xiaolei Li, Xu Fang, Shankar Deka, Changyun Wen
2025
Unmanned Systems
Special Issue on Distributed Localization and Formation of Unmanned Systems Using Imperfect Sharing and Measured Information
Xiaolei Li, Xu Fang, Shankar Deka, Changyun Wen
2025
Unmanned Systems
Enhancing Precision Agriculture Through Human-in-the-Loop Planning and Control
Shankar A. Deka, Sujet Phodapol, Andreu Matoses Gimenez, Victor Nan Fernandez-Ayala, Rufus Wong, Pian Yu, Xiao Tan, Dimos V. Dimarogonas
2024
2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024
Extensions of the Path-integral formula for computation of Koopman eigenfunctions
Shankar A. Deka, Umesh Vaidya
2024
2024 IEEE 63rd Conference on Decision and Control, CDC 2024