제어 장벽 함수 (Control Barrier Function)
한 줄 정의: 시스템 상태가 정해진 안전 집합 밖으로 나가지 않도록 제어 입력에 조건을 거는 데 쓰는 함수입니다.
쉽게 풀면
로봇이 벽에 부딪히지 않아야 한다면 "벽과의 거리가 0보다 크다" 같은 안전 조건이 있습니다. 제어 장벽 함수는 이 조건을 함수로 만들고, 로봇이 경계에 가까워질수록 경계 쪽으로 가는 입력을 점점 강하게 막습니다. 원래 쓰던 제어기의 명령을 최소한만 고쳐서 안전을 지키게 하는 "안전 필터" 역할을 합니다.
왜 중요한가
자율주행, 드론, 보행 로봇, 협동 로봇 등에서 안전 보장 제어의 대표 기법으로 빠르게 확산되었습니다. 이차계획으로 실시간 계산이 가능하고, 학습 기반 제어기에 안전장치를 덧붙이는 용도로도 많이 쓰입니다.
논문에서는 이렇게 쓰입니다
"공칭 제어기의 입력을 제어 장벽 함수 제약을 포함한 이차계획으로 수정하여 장애물과의 최소 거리를 보장하였다."
CBF 기반 안전 필터의 전형적 문장입니다.
조금 더 깊게 보면
안전 집합을 h(x)≥0으로 정의하고, ḣ(x,u)≥−α(h(x)) 꼴의 조건을 만족하는 입력 u만 허용하면 이 집합의 전방 불변성이 보장됩니다(α는 클래스 K 함수). 제어 입력에 대해 선형인 시스템(제어 아핀 시스템)에서는 이 조건이 입력에 대해 선형이므로, 제어 리아푸노프 함수 조건과 함께 이차계획으로 묶어 풀 수 있습니다. 상대 차수가 높은 제약을 위한 고차 CBF, 불확실성을 고려한 강건 CBF 등 확장이 활발히 연구되고 있습니다.
주의할 점
리아푸노프 안정성이 목표점으로 수렴하는 성질을 다룬다면, 제어 장벽 함수는 위험 영역에 들어가지 않는 안전성을 다룬다는 점이 다릅니다. 모델이 틀리면 안전 보장도 성립하지 않을 수 있습니다.