Spoofing-Resilient LiDAR-GPS Factor Graph Localization with Chimera Authentication

1 code implementation • 10 Jul 2023 • Adam Dai, Tara Minda, Ashwin Kanhere, Grace Gao

Our proposed framework combines GPS pseudorange measurements with LiDAR odometry to provide a robust navigation solution.

Position

Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection

1 code implementation • 3 Aug 2021 • Shreyas Kousik, Adam Dai, Grace Gao

This paper introduces ellipsotopes, a set representation that is closed under affine maps, Minkowski sums, and intersections.

Fault Detection

Constrained Feedforward Neural Network Training via Reachability Analysis

1 code implementation • 16 Jul 2021 • Long Kiu Chung, Adam Dai, Derek Knowles, Shreyas Kousik, Grace X. Gao

This is because it remains an open challenge to train a neural network to obey safety constraints.