Publications
Below are some of our selected publications
Preprints
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
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
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024
Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings