Publications (106)
SFU-Store-Nav: A Multimodal Dataset for Indoor Human Navigation
Zhitian Zhang, Jimin Rhim, Taher Ahmadi +3
This article describes a dataset collected in a set of experiments that involves human participants and a robot. The set of experiments was conducted in the computing science robot…
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
Chong He, Mugilan Mariappan, Keval Vora +1
Hamilton-Jacobi (HJ) Reachability is widely used to compute value functions for states satisfying specific control objectives. However, it becomes intractable for high-dimensional…
Cosmic-ray-induced correlated errors in superconducting qubit array
Xuegang Li, Junhua Wang, Yao-Yao Jiang +15
Correlated errors may devastate quantum error corrections that are necessary for the realization of fault-tolerant quantum computation. Recent experiments with superconducting qubi…
Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints
Jaime F. Fisac, Mo Chen, Claire J. Tomlin +1
We consider a reach-avoid differential game, in which one of the players aims to steer the system into a target set without violating a set of state constraints, while the other pl…
TileTracker: Tracking Based Vector HD Mapping using Top-Down Road Images
Mohammad Mahdavian, Mo Chen, Yu Zhang
In this paper, we propose a tracking-based HD mapping algorithm for top-down road images, referred to as tile images. While HD maps traditionally rely on perspective camera images,…
Safe Sequential Path Planning of Multi-Vehicle Systems via Double-Obstacle Hamilton-Jacobi-Isaacs Variational Inequality
Mo Chen, Jaime F. Fisac, Shankar Sastry +1
We consider the problem of planning trajectories for a group of vehicles, each aiming to reach its own target set while avoiding danger zones of other vehicles. The analysis of…