[2021-2024] Collaborative Research: Learning and Distributional Feedback Control for Fabrication of Advanced Materials Lead PI: Abhishek Halder, co-PI: Ali Mesbah (UC Berkeley)
[2020-2021] Computation-Aware Algorithmic Design for Cyber-Physical Systems for Intelligent Transportation Lead PI: Ricardo Sanfelice, co-PI: Heiner Litz, Abhishek Halder
[2019-2022] AMPS: Optimal Transport Algorithms for Stochastic Uncertainty Management in Modern Power Systems PI: Abhishek Halder
[2019] Fast Computation of Stochastic Reachability for Provably Safe Planning and Control in Automated Driving Lead PI: Abhishek Halder, Ford PI: Baljeet Singh (Ford Research and Innovation Center)
[2018-19] Cloud-based Anytime Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management Lead PI: Abhishek Halder, Co-PIs: Ricardo Sanfelice (UC Santa Cruz), Mark Mueller (UC Berkeley), and Claire Tomlin (UC Berkeley)
[2018] Real-time Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management PI: Abhishek Halder