9 citations · 27 across the 20 of their papers we have counts for
1 paper · 1 filter
Yuxiao Chen, Ayonga Hereid, Huei Peng +1
Correct-by-construction techniques, such as control barrier functions (CBFs), can be used to guarantee closed-loop safety by acting as a supervisor of an existing or legacy control…