54 citations · 66 across the 5 of their papers we have counts for
Showing 2019 · eess.SYShow all
2 papers · 2 filters
eess.SY2019★ 7 cited
Optimization Based Planner Tracker Design for Safety Guarantees
He Yin, Monimoy Bujarbaruah, Murat Arcak +1
We present a safe-by-design approach to path planning and control for nonlinear systems. The planner uses a low fidelity model of the plant to compute reference trajectories by sol…
eess.SY2019★ 2 cited
Backward Reachability for Polynomial Systems on A Finite Horizon
He Yin, Murat Arcak, Andrew Packard +1
A method is presented to obtain an inner-approximation of the backward reachable set (BRS) of a given target tube, along with an admissible controller that maintains trajectories i…