54 citations · 63 across the 4 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
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…
physics.data-an2019
Representing Model Discrepancy in Bound-to-Bound Data Collaboration
Wenyu Li, Arun Hegde, James Oreluk +2
We extended the existing methodology in Bound-to-Bound Data Collaboration (B2BDC), an optimization-based deterministic uncertainty quantification (UQ) framework, to explicitly take…