关于最优衰减控制屏障函数的性质 | Synapse