20 citations · 31 across the 4 of their papers we have counts for
4 papers
Robust Sequential Path Planning Under Disturbances and Adversarial Intruder
Mo Chen, Somil Bansal, Jaime F. Fisac +1
Provably safe and scalable multi-vehicle path planning is an important and urgent problem due to the expected increase of automation in civilian airspace in the near future. Althou…
Using Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions
Frank Jiang, Glen Chou, Mo Chen +1
To sidestep the curse of dimensionality when computing solutions to Hamilton-Jacobi-Bellman partial differential equations (HJB PDE), we propose an algorithm that leverages a neura…
Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition
Mo Chen, Sylvia Herbert, Claire J. Tomlin
Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-d…
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…