安全关键系统基于控制屏障功能的二次程序| IEEE期刊和杂志| IEEE Xplore