안전 우선 계층형 최적화 기반 제어 장벽 함수 프레임워크

초록

본 논문은 안전을 최우선으로 하는 계층형 최적화 구조를 제안한다. 기존의 CBF‑CLF QP에서 발생하는 파라미터 튜닝 및 불가능성 문제를 해결하기 위해, 안전·안정·성능을 순차적 하위 문제로 분리하고, 각 단계에서 최소 슬랙을 적용한다. 다중 안전 인증(다중 장애물 회피 등)에도 자연스럽게 확장 가능하며, 서브‑세이프 개념을 도입해 초기 상태가 안전 영역 밖에 있더라도 안전 영역으로 유도한다. 수치 시뮬레이션을 통해 기존 QP 기반 방법 대비 안전성, 해 존재성, 수렴 속도에서 우수함을 입증한다.

상세 분석

이 논문은 제어 장벽 함수(CBF)와 제어 라플라스 함수(CLF)를 결합한 기존의 2차계획법(QP) 접근법이 하이퍼파라미터 설정에 크게 의존하고, 제약 충돌 시 해가 존재하지 않을 위험을 내포한다는 점을 지적한다. 이를 극복하기 위해 저자들은 “안전‑우선”이라는 철학 아래, 다목적 최적화를 계층형 구조로 재구성한다. 구체적으로는 (1) CBF 제약의 슬랙 변수를 최소화하는 첫 번째 서브‑문제, (2) CLF 제약의 슬랙을 최소화하는 두 번째 서브‑문제, (3) 최종적으로 입력 에너지(노미널 컨트롤과의 거리)를 최소화하는 세 번째 서브‑문제로 나눈다. 각 단계는 앞 단계에서 얻은 최적 슬랙 값을 고정하고 진행하므로, 전 단계에서 발생한 최소 위반을 그대로 유지하면서 다음 단계의 목표를 달성한다. 이 방식은 항상 해가 존재하도록 설계되었으며, 안전 제약이 절대적으로 만족되지 않을 경우에도 최소 위반(최소 δ₂) 해를 제공한다.

또한 논문은 기존 방법들이 “안전”을 하드 제약으로 두고 “성능”을 소프트 제약으로 전환하는 과정에서 안전 보장이 약화되는 문제를 지적한다. 저자들은 이를 보완하기 위해 서브‑세이프(sub‑safe) 개념을 도입한다. 서브‑세이프는 초기 상태가 안전 집합 C 밖에 있더라도, 시스템이 시간이 흐름에 따라 C 안으로 수렴하도록 설계한다. 이는 특히 차량 간 거리와 같이 보수적인 안전 한계를 설정했을 때, 초기 거리 부족으로 기존 QP가 불가능해지는 상황을 해결한다.

다중 인증 확장 부분에서는, 각 인증(예: 여러 장애물 회피, 연결성 유지 등)을 우선순위 레벨과 가중치로 구분하고, 동일한 계층형 최적화 흐름을 적용한다. 높은 우선순위 레벨의 인증이 먼저 만족되고, 그 결과가 다음 레벨의 제약에 고정값으로 전달되는 구조는 복합적인 안전 요구사항을 체계적으로 관리한다.

수학적 분석에서는 기존 QP, Optimal‑decay QP, 그리고 제안된 계층형 QP를 통합형 QP 형태로 재작성하고, 각 방법의 파라미터(가중치 행렬 H, 슬랙 가중치 p 등)의 극한값을 비교한다. 이 과정에서 제안 방법이 “무한히 큰 가중치”를 적용한 경우와 동등함을 보이며, 따라서 기존 방법이 가중치를 적절히 조정하지 못하면 발생하는 불가능성 문제를 자연스럽게 회피한다는 이론적 근거를 제공한다.

마지막으로 두 개의 시뮬레이션(단일 장애물 회피와 다중 장애물 회피)에서, 제안 방법은 안전성 유지, 해 존재성 보장, 수렴 속도 향상을 실증한다. 특히 초기 상태가 안전 영역 밖인 경우에도 시스템이 안전 영역으로 진입하는 모습을 보여, 서브‑세이프 개념의 실효성을 확인한다. 전체적으로 이 논문은 안전‑우선 계층형 최적화가 기존 QP 기반 안전 제어의 핵심 한계를 해결하고, 실시간 적용 가능성을 높이는 실용적인 프레임워크임을 입증한다.