核心概念
Utilizing Freedman’s inequality in discrete-time control barrier functions provides stronger safety guarantees for stochastic systems.
统计
"Our approach accounts for the underlying disturbance distribution instead of relying exclusively on its worst-case bound."
"Our guarantee is less conservative when the assumptions for all methods hold."
"Our theory provides sharp safety probability bounds, enabling non-conservative, stochastic collision avoidance."
引用
"Safety—typically characterized as the forward-invariance of a safe set—has become a popular area of study within control theory."
"Stochastic methods provide an alternative to the worst-case bounding approach."
"This paper combines DTCBFs with Freedman’s inequality to obtain tighter bounds on stochastic safety."