Publications
Below are some of our selected publications
Preprints
MISC: Minimal Intervention Shared Control with Guaranteed Safety under Non-Convex Constraints
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
2025
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
Jianqiang Ding, Dingran Yuan, Shankar A. Deka
2025
IEEE Conference on Decision and Control, Rio de Janeiro, Brazil
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
Minimal Intervention Shared Control with Guaranteed Safety under Non-Convex Constraints
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
2025
2026 IEEE International Conference on Robotics & Automation (ICRA)
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
Convexifying State-Constrained Optimal Control Problem
Shankar A. Deka, Claire J. Tomlin, Donggun Lee
2023
IEEE Transactions on Automatic Control
Navigation in Time-Varying Densities: An Operator Theoretic Approach
Shankar A. Deka, Umesh Vaidya, Dimos V. Dimarogonas
2023
2023 European Control Conference (ECC)
Path-Integral Formula for Computing Koopman Eigenfunctions
Shankar Deka, Umesh Vaidya
2023
62nd IEEE Conference of Decision and Control