14 citations · 62 across the 12 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2019★ 3 cited
Robust Estimator-Based Safety Verification: A Vector Norm Approach
Binghan He, Gray C. Thomas, Luis Sentis
In this paper, we consider the problem of verifying safety constraint satisfaction for single-input single-output systems with uncertain transfer function coefficients. We propose…
math.OC2018★ 12 cited
Safety Control Synthesis with Input Limits: a Hybrid Approach
Gray C. Thomas, Binghan He, Luis Sentis
We introduce a hybrid (discrete--continuous) safety controller which enforces strict state and input constraints on a system---but only acts when necessary, preserving transparent…