강인 적응형 이산시간 제어 장벽 인증

초록

**
본 논문은 파라미터 불확실성과 외란을 동시에 고려한 이산시간 시스템을 위한 강인 적응형 제어 장벽 함수(CBF) 프레임워크를 제시한다. 제안된 방법은 온라인 파라미터 추정기와 CBF 기반 안전 필터를 모듈화하여 설계할 수 있게 하며, 실제 파라미터를 알지 못해도 안전 집합의 양의 불변성을 보장한다.

**

상세 분석

**
이 논문은 이산시간 입력‑선형 시스템 (x_{t+1}=f_d(x_t)-\phi(x_t)^\top\theta+g(x_t)u_t+w_t) 에 대해, 파라미터 (\theta) 와 외란 (w_t) 가 각각 폴리토프 집합 (\Theta) 와 (W) 에 제한되는 상황을 모델링한다. 기존 연속시간 CBF 이론은 미분 연산에 의존하지만, 이산시간에서는 차분 형태의 불평등 (B(f(x,u;\theta))-B(x)\ge -\alpha(B(x))) 을 이용해 안전성을 정의한다. 논문은 두 가지 주요 기여를 제시한다.

첫째, 강인 적응형 DT‑CBF 개념을 도입하여, 파라미터 추정 오차 (\varepsilon_{\theta,t}) 와 추정 증가량 (\bar\delta_\theta) 에 대한 상한을 명시적으로 포함한 안전 조건을 유도한다. 이를 통해 실제 파라미터 (\theta^\ast) 를 알 수 없더라도, 현재 추정치 (\hat\theta_t) 와 오차 상한을 이용해 보수적인 입력 집합 (U_{rs,t}(x;p)) 을 계산한다. 이 집합은 언제나 비공집합임을 보이며, 안전 필터에 적용하면 시스템 상태가 언제든지 안전 집합 (S_{B,\hat\theta_t}) 내에 머무른다.

둘째, 모듈화된 설계를 강조한다. 파라미터 추정기 EST는 점 추정 (\hat\theta_t), 집합 추정 (\Theta_t), 그리고 증가량 상한 (\bar\delta_\theta) 만 제공하면 된다. 즉, 최소한의 정보만으로도 CBF 기반 안전 필터와 결합 가능하므로, 기존의 Lypunov‑기반 적응 제어나 배치 최소제곱 방식과 달리 구현이 간단하고 실시간 적용이 용이하다. 또한, 추정기와 안전 필터가 서로 독립적으로 설계되므로, 추정기의 수렴 속도와 무관하게 안전성을 유지할 수 있다.

이론적 분석에서는 Lipschitz 연속성 가정과 (\alpha\in\mathcal K_{\infty}\cap\mathcal C_{SL}) 조건을 이용해, 외란과 파라미터 오차가 존재해도 안전 불변성을 유지하는 충분조건을 증명한다. 특히, 외란에 대한 내재 강인성(inherent robustness) 개념을 도입해, 현재 상태가 안전 집합 밖에 있더라도 제한된 외란 하에서 빠르게 안전 집합 안으로 복귀함을 보인다.

시뮬레이션 섹션에서는 2‑차 로봇 팔 모델에 적용해, 적응형 추정기가 파라미터를 빠르게 수렴시키면서도, 급격한 외란이 발생했을 때 안전 필터가 즉시 보수적인 제어 입력을 선택해 충돌을 방지한다는 결과를 제시한다. 전체적으로 논문은 이산시간 시스템에 특화된 강인 적응형 CBF 이론을 체계화하고, 실제 구현에 필요한 최소한의 추정 정보만을 요구함으로써, 임베디드 및 실시간 제어 분야에 큰 실용적 가치를 제공한다.

**