[논문 리뷰] Comparison between safety methods control barrier function vs. reachability analysis

Zhichao Li|arXiv (Cornell University)|2021. 06. 24.

Risk and Safety Analysis참고 문헌 21인용 수 21

한 줄 요약

이 논문은 동적 시스템에서 안전 중심 제어를 위한 해밀턴-자코비 도달 가능성 분석(HJ-RA)과 제어 장(barrier) 함수(CBF) 방법을 비교한다. 이중 드루빈 자동차 모델에서 두 방법을 평가하여, HJ-RA는 높은 계산 비용과 제한된 확장성으로 인해 형식적 안전 보장을 제공하지만, CBF는 저비용으로 확장 가능한 안전 보장을 제공하지만, CBF 구성 및 외란 하에서의 타당성 문제에 직면해 있다.

ABSTRACT

This report aims to compare two safety methods: control barrier function and Hamilton-Jacobi reachability analysis. We will consider the difference with a focus on the following aspects: generality of system dynamics, difficulty of construction and computation cost. A standard Dubins car model will be evaluated numerically to make the comparison more concrete.

연구 동기 및 목표

• 해밀턴-자코비 도달 가능성 분석(HJ-RA)과 제어 장 함수(CBF) 방법이 안전 중심 제어 설계에서 가지는 강점과 한계를 비교하기 위해.
• 구체적인 사례 연구를 통해 두 방법의 시스템 역학의 일반성, 구성 난이도, 계산 비용 측면에서 평가하기 위해.
• 시스템 복잡성과 실시간 제약 조건을 고려한 연구자 및 엔지니어가 적절한 안전 방법을 선택하는 데 실용적인 지침을 제공하기 위해.
• 양 방법 모두에서 타당성, 초모수 조정, 모델 불확실성 등의 과제를 부각하기 위해.
• 확장 가능한 증명 가능 안전 로보틱스를 위한 형식적 검증(HJ-RA)과 실시간 제어(CBF) 간의 격차를 메우기 위한 향후 연구를 자극하기 위해.

제안 방법

• HJ-RA는 상태공간 격자에서 해밀턴-자코비 편미분방정식(PDE)을 풀어 뒤로 도달 가능한 집합과 도달-피하 집합을 계산함으로써 악성 외란 상황에서도 안전성을 보장한다.
• CBF 기반 제어는 제어 입력에 대한 부등식 제약 조건을 통해 안전성을 강제하며, 안정성과 안전성을 동시에 확보하기 위해 CBF와 제어 라플라스 함수(CLFS)를 조합한 2차 프ogramming(QP)을 사용한다.
• CBF 방법은 수준집합 함수를 사용하여 안전 집합을 정의하며, 제어 입력이 이 집합을 벗어나지 않도록 제약한다.
• 듀빈스 자동차의 경우, 상태에 따라 제어가 변하는 비선형이고 제어-아핀 시스템으로 모델링되며, 제한된 외란이 존재한다.
• 수치 시뮬레이션을 통해 HJ-RA(HelpOC 툴박스 사용)와 CBF(CBF-CLF-Helper 사용)를 원형 장애물과 목표 영역이 있는 도달-피하 작업에 적용하여 비교한다.
• 두 방법 모두 궤적 추적, 충돌 회피, 계산 효율성 측면에서 평가되었으며, 결과는 시뮬레이션 그림으로 시각화되었다.

실험 결과

연구 질문

• RQ1 HJ-RA와 CBF 방법은 시스템 역학 모델링의 일반성 측면에서 어떻게 비교될 수 있는가?
• RQ2 특히 고상대차수 시스템에서 각 방법의 안전 제약 조건 구성 난이도는 어떻게 비교되는가?
• RQ3 HJ-RA와 CBF의 계산 비용과 차원 수에 따른 확장성은 어떻게 비교되는가?
• RQ4 양 방법 모두에서 공통적으로 나타나는 실용적 과제들 — 타당성, 초모수 조정, 모델 불확실성 — 은 무엇인가?
• RQ5 듀빈스 자동차 도달-피하 문제와 같은 실생활 적용 가능한 사례 연구에서 두 방법은 어떻게 성능을 발휘하는가?

주요 결과

• HJ-RA는 PDE 해를 통해 뒤로 도달-피하 집합을 계산함으로써 형식적이고 증명 가능한 안전 보장을 제공하지만, 상태 차원 증가에 따라 지수적 계산 복잡도로 인해 성능이 저하된다.
• CBF 기반 제어는 계산 비용이 저렴하고 확장성이 뛰어나 자율주행차나 로봇과 같은 다중 입력 시스템에서 실시간 구현이 가능하다.
• 듀빈스 자동차 사례 연구에서 HJ-RA와 CBF는 모두 충돌 없이 출발지에서 목표지로 차량을 안내하는 데 성공하여, 저차원 시스템에서의 효과성을 입증하였다.
• HJ-RA는 불확실성과 외란 모델링에 더 민첩하게 대응할 수 있지만, 조건부 분해 기법을 사용하더라도 차원의 극복(curse of dimensionality) 문제로 인해 확장성에 한계가 있다.
• 고상대차수 또는 알려지지 않은 외란이 존재하는 시스템에서는 CBF 구성이 어렵고, 다수의 CBF 제약 조건이 동시에 활성화될 경우 QP의 타당성이 보장되지 않는다.
• 양 방법 모두 장애물 기하학적 구조와 시스템 모델의 정확한 지식이 필요하며, 장애물 표현의 오차나 센서 노이즈는 안전 보장의 신뢰도를 떨어뜨릴 수 있다.