2025-11-10T03:05:03.039858

Designing Control Barrier Functions Using a Dynamic Backup Policy

Freire, Nicotra
This paper presents a systematic approach to construct control barrier functions for nonlinear control affine systems subject to arbitrary state and input constraints. Taking inspiration from the reference governor literature, the proposed method defines a family of backup policies, parametrized by the equilibrium manifold of the system. The control barrier function is defined on the augmented state-and-reference space: given a state-reference pair, the approach quantifies the distance to constraint violation at any time in the future, should the current backup policy reference remain constant. Sensitivity analysis is then used to compute the (possibly nonsmooth) Jacobian with respect to the augmented state vector. To showcase its simple yet general nature, the proposed method is applied to an inverted pendulum on cart.
academic

동적 백업 정책을 이용한 제어 배리어 함수 설계

기본 정보

  • 논문 ID: 2510.09810
  • 제목: Designing Control Barrier Functions Using a Dynamic Backup Policy
  • 저자: Victor Freire, Marco M. Nicotra (University of Colorado, Boulder)
  • 분류: eess.SY cs.SY
  • 발표 시간: arXiv preprint, 2025년 10월
  • 논문 링크: https://arxiv.org/abs/2510.09810

초록

본 논문은 임의의 상태 및 입력 제약 조건 하에서 비선형 제어 아핀 시스템에 대한 제어 배리어 함수(CBF)를 구성하는 체계적 방법을 제안한다. 참고 조절기 문헌에서 영감을 받아, 본 방법은 시스템 평형 다양체로 매개변수화된 백업 정책 족을 정의한다. 제어 배리어 함수는 확대된 상태-참고 공간에서 정의되며, 주어진 상태-참고 쌍에 대해 백업 정책 참고가 일정하게 유지되는 경우 미래의 임의의 시점에서 제약 위반까지의 거리를 정량화한다. 그 후 민감도 분석을 사용하여 확대된 상태 벡터에 대한 (잠재적으로 비매끄러운) 야코비안을 계산한다.

연구 배경 및 동기

핵심 문제

제어 배리어 함수(CBF)는 안전 관련 시스템 제어기 설계를 위한 강력한 도구이지만, 일반 시스템에서 임의의 상태 및 입력 제약 조건 하에서 체계적으로 합성하기는 어렵다. CBF의 현대적 정의가 2017년에 확립되었음에도 불구하고, 그 체계적 설계는 여전히 미해결 문제이다.

문제의 중요성

많은 응용에서 실무자들은 후보 CBF를 채택해야 하는데, 이는 설계가 더 용이하고 매개변수 조정 및 완화 변수를 통해 좋은 성능을 얻을 수 있지만, 유효한 CBF의 엄격한 안전 보장이 부족하다.

기존 방법의 한계

  1. 기계학습 방법: 이론적 보장 부족
  2. 제곱합 방법: 다항식 시스템에만 적용 가능
  3. 전문가 시연 방법: 고품질 훈련 데이터에 의존
  4. 백업 CBF 방법: 체계적인 백업 정책 설계 방법 부재

연구 동기

저자의 선행 연구는 동적 안전 경계(DSM)가 확대된 상태-참고 공간에서 CBF임을 증명했으며, 본 논문은 궤적 기반 DSM을 확장하여 CBF를 구성하고 더욱 체계적이고 일반적인 방법을 제공한다.

핵심 기여

  1. 체계적 CBF 설계 방법: 궤적 예측 기반의 DSM-CBF 구성 방법을 제안하며, 임의의 상태 및 입력 제약을 가진 비선형 제어 아핀 시스템에 적용 가능
  2. 동적 백업 정책: 백업 정책은 시스템 평형 다양체로 매개변수화되며, 매개변수화는 시변적이어서 고정 백업 정책보다 더 큰 유연성 제공
  3. 이론적 보장: 온건한 가정 하에서 기저 민감도 행렬의 점근 안정성을 증명하고, CBF의 잠재적 비매끄러움으로 인한 문제를 엄격하게 처리
  4. 실용적 고려사항: 유한 시간 영역 및 매끄러움 문제를 해결하고, 더 쉽게 구현할 수 있는 전략을 제안하며 그 충분성과 실행 가능성을 증명

방법론 상세 설명

작업 정의

제어 아핀 시스템을 고려:

ẋ = f(x) + g(x)u

상태 제약 x ∈ X 및 입력 제약 u ∈ U 하에서, 목표는 제약 만족을 강제하는 CBF를 설계하는 것이다.

핵심 가정

가정 3: 시스템은 v ∈ ℝˡ로 매개변수화된 평형 다양체를 인정하며, 연속 함수 x̄(v)와 ū(v)가 존재하여:

f(x̄(v)) + g(x̄(v))ū(v) = 0, ∀v ∈ ℝˡ

그리고 x̄(v)를 점근 안정 평형점으로 만드는 사전 안정화 제어 정책 π(x,v)가 존재한다.

궤적 기반 DSM-CBF 구성

1. 동적 안전 경계 정의

Δ(x,v) = inf_{τ∈[0,∞)} c(Φ(τ,x,v), v)

여기서:

  • c(x,v)는 참고 의존 상태 제약을 설명
  • Φ(τ,x,v)는 사전 안정화 동역학의 해

2. 민감도 분석

흐름 민감도 야코비안 계산:

상태 민감도:

∂S_x(τ)/∂τ = (∂f_π(Φ(τ),v)/∂x)S_x(τ), S_x(0) = I_n

참고 민감도:

∂S_v(τ)/∂τ = (∂f_π(Φ(τ),v)/∂x)S_v(τ) + ∂f_π(Φ(τ),v)/∂v, S_v(0) = 0

3. 유한 시간 영역 구현

무한 시간 영역이 수치적으로 불가능하므로, 유한 시간 영역 T를 채택하고 종단 DSM을 도입:

Δ(x,v) = [min_{τ∈[0,T]} c(Φ(τ),v); Δ_T(Φ(T),v)]

기술적 혁신점

  1. 매개변수화된 백업 정책 족: 고정 백업 정책과 달리, 평형 다양체를 통한 매개변수화는 전체 정책 족을 제공
  2. 확대 공간 CBF: 상태-참고 확대 공간에서 CBF를 정의하여 참고 동역학을 자연스럽게 처리
  3. 비매끄러움 처리: Clarke 일반화 야코비안을 사용하여 CBF의 잠재적 비매끄러움을 엄격하게 처리
  4. 실행 가능성 보장: 안전 필터의 실행 가능성을 증명하며, u = π(x,v), w = 0은 항상 실행 가능한 해

실험 설정

시스템 모델

역진자 카트 시스템:

M(q)q̈ + C(q,q̇)q̇ + G(q) = Bu

매개변수:

  • 카트 질량 m_c = 1kg
  • 진자 질량 m_p = 0.5kg
  • 진자 길이 L = 0.7m

제약 조건

  • 상태 제약: |x| ≤ 4.5m, |θ-π| ≤ π/9
  • 입력 제약: |u| ≤ 20N

제어기 설계

  • 사전 안정화 제어기: LQR 설계, K_π = -0.44, 35.3, -1.4, 8.0
  • 명목 제어기: K_κ = -35, 150, -20, 50
  • 예측 시간 영역: T = 10초
  • 클래스 K∞ 함수: α(c) = 100c (제약), α(c) = 400c (종단 DSM)

비교 방법

  1. 명목 제어: 명목 제어기만 사용 (안전하지 않음)
  2. Lyapunov 기반 DSM-CBF: Lyapunov 함수 기반 DSM 방법
  3. ERG: 명시적 참고 조절기
  4. 백업 CBF: 전통적 백업 CBF 방법

실험 결과

주요 결과

시뮬레이션 결과에서 다음을 확인할 수 있다:

  1. 안전성: 제안된 방법은 모든 제약을 성공적으로 유지하며, 카트 위치는 ±4.5m 범위 내에, 진자 각도 편차는 ±20° 범위 내에 유지
  2. 성능 우위:
    • Lyapunov 기반 DSM-CBF 대비: 더 빠른 수렴, 더 매끄러운 궤적
    • ERG 대비: 현저히 향상된 응답 속도
    • 전통적 백업 CBF 대비: 더 우수한 성능, 이는 매개변수화된 백업 정책 족이 제공하는 추가 자유도 덕분
  3. 제어 입력: 입력은 항상 ±20N 제약을 만족하며, 다른 방법 대비 더욱 매끄러움

성능 분석

  • 궤적 품질: 제안된 방법은 초기 위치에서 목표 위치로의 매끄러운 전환 달성
  • 제약 만족: 모든 상태 및 입력 제약을 엄격하게 만족
  • 수렴성: 비교 방법 대비 더 우수한 수렴 특성 시현

방법 우위 검증

실험은 다음의 이론적 예상을 검증:

  1. 매개변수화된 백업 정책 족이 고정 백업 정책보다 더 나은 성능 제공
  2. 궤적 예측 방법이 높은 상대 차수, 비최소 위상 시스템 처리에서의 효과성
  3. 확대 공간 CBF 방법의 실용성

관련 연구

CBF 설계 방법

  1. 기계학습 방법 (Harms et al. 2024): 기계학습을 사용한 CBF 설계
  2. 제곱합 방법 (Dai et al. 2024): 다항식 CBF 설계
  3. 전문가 시연 방법 (Lindemann et al. 2024): 안전 시연으로부터 CBF 학습

백업 CBF 관련 연구

  1. Chen et al. (2021): 백업 CBF 개념 제안
  2. Van Wijk et al. (2024): 섭동 강건 백업 CBF
  3. Choi et al. (2021): 강건 제어 배리어 값 함수

참고 조절기 문헌

본 논문의 방법은 참고 조절기 문헌, 특히 동적 안전 경계 개념에서 영감을 받았으나, 이를 CBF 프레임워크로 확장했다.

결론 및 논의

주요 결론

  1. 체계적 설계: 임의의 제약을 가진 비선형 시스템에 적용 가능한 유효한 CBF 구성의 체계적 방법 제공
  2. 이론적 보장: 온건한 가정 하에서 엄격한 이론 분석 및 실행 가능성 보장 제공
  3. 실용성: 방법이 간단하고 구현하기 쉬우며, 계산 복잡도가 상대적으로 낮음

한계

  1. 가정 의존성: 시스템이 평형 다양체를 인정하고 사전 안정화 제어기를 설계할 수 있어야 함
  2. 계산 복잡도: MPC보다는 낮지만, 여전히 궤적 예측 및 민감도 계산 필요
  3. 매개변수 조정: 클래스 K∞ 함수 및 예측 시간 영역 등의 매개변수를 적절히 선택해야 함

향후 방향

  1. 강건성 연구: 유계 섭동 하에서의 강건성 특성 연구
  2. 다양한 예측 기법: 다른 궤적 예측 기법 탐색
  3. 계산 최적화: 계산 복잡도를 더욱 낮추는 방법

심층 평가

장점

  1. 이론적 엄밀성: 존재성, 실행 가능성 및 수렴성 증명을 포함한 완전한 이론 분석 제공
  2. 방법의 일반성: 광범위한 비선형 제어 아핀 시스템에 적용 가능
  3. 구현의 단순성: MPC 등의 방법 대비 계산 부담이 상대적으로 가벼움
  4. 복잡성 처리: 입력 포화, 다중 제약, 강한 비선형성 등 복잡한 상황 처리 가능

부족한 점

  1. 가정의 제한: 평형 다양체 가정이 방법의 적용 범위를 제한할 수 있음
  2. 매개변수 민감성: 방법의 성능이 매개변수 선택에 상당히 민감할 수 있음
  3. 실험 범위: 하나의 시스템에서만 검증되었으며, 더 광범위한 실험 검증 부족

영향력

  1. 학술적 기여: CBF 설계에 새로운 이론 프레임워크 및 실용 방법 제공
  2. 실용적 가치: 방법이 상대적으로 간단하여 실제 시스템에 적용될 가능성 높음
  3. 재현성: 저자가 오픈소스 코드를 제공하여 재현성 강화

적용 가능 분야

  1. 안전 관련 시스템: 로봇, 자율주행 차량 등 엄격한 제약 만족이 필요한 시스템
  2. 비선형 시스템: 특히 복잡한 제약을 가진 비선형 제어 시스템에 적합
  3. 실시간 제어: MPC 대비 낮은 계산 복잡도로 실시간 응용에 적합

참고문헌

논문은 해당 분야의 주요 연구를 인용하고 있으며, 다음을 포함:

  • Ames et al. (2017): CBF의 현대적 정의
  • Chen et al. (2021): 백업 CBF 개념
  • Nicotra and Garone (2018): 명시적 참고 조절기
  • 저자의 선행 연구: DSM-CBF 이론 기초

종합 평가: 이는 이론적으로 엄밀하고 방법론이 참신한 고품질 논문으로, CBF 설계에 체계적 방법을 제공하며, 이론적 엄밀성을 보장하면서도 우수한 실용성을 갖추고 있다. 방법의 일반성과 상대적으로 간단한 구현은 높은 실용적 가치를 제공한다.