most citedUsing Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions

20 citations · 31 across the 4 of their papers we have counts for

collaborators
Showing math.OCShow all

2 papers · 1 filter

math.OC2016★ 6 cited

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…

math.OC2014★ 1 cited

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…