Unmanned Aerial Systems Traffic Management (UTM)

Papers

3. Anytime Parallel Computation of Forward Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management
       coming soon
       L.M. Gianfortone, and A. Halder

2. Smallest Ellipsoid Containing \(p\)-sum of Ellipsoids with Application to Reachability Analysis
       under review
       A. Halder

1. On the Parameterized Computation of Minimum Volume Outer Ellipsoid of Minkowski Sum of Ellipsoids
       CDC 2018
       A. Halder

Talks and Posters

3. [April 27, 2018] Poster at CITRIS/CPAR Automation and Control Symposium and 1st NorCal Control Workshop, UC Santa Cruz, CA

2. [Feb. 12, 2018] 1 hour talk at CPAR DREAMS Seminar, UC Berkeley, CA

1. [Oct. 04, 2017] 20 min talk at Second Annual Center for Research in Open Source Software (CROSS) Research Symposium, UC Santa Cruz, CA

Grants

2. [2018-19] Cloud-based Anytime Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management
      PI: Abhishek Halder, Co-PIs: Ricardo Sanfelice (UC Santa Cruz), Mark Mueller (UC Berkeley), and Claire Tomlin (UC Berkeley)
      CITRIS and the Banatao Institute Seed Funding

1. [2018] Real-time Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management
      PI: Abhishek Halder
      UC Santa Cruz Committee on Research