입력 지연을 고려한 적분 제어 장벽 함수: 예측, 실현 가능성 및 강인성

본 논문은 입력 지연이 존재하는 비선형 시스템에 대해 안전을 보장하는 새로운 제어 프레임워크를 제시한다. 기존 CBF 기반 방법은 주로 상태 제약만을 다루며, 입력 제약이나 지연을 고려하지 못해 실제 적용에 한계가 있었다. 이를 극복하기 위해 저자들은 다음과 같은 일련의 절차를 설계하였다. 1. **시스템 모델 및 문제 정의** 시스템은 ˙x = f(x, u) 형태의 일반 비선형 동역학으로 가정하고, 입력은 일정한 지연 τ>0를 가진다(˙x = f(x, u(t‑τ))). 목표는 상태 제약 hₓ(x)≥0와 입력 제약 hᵤ(u)≥0를 동시에 만족시키면서, 지연으로 인한 안전 위협을 방지하는 것이다. 2. **예측 피드백(Predictor Feedback)** 현재 시점 t에서 미래 상태 xₚ(t)=x(t+τ)를 계산하기 위해, 저장된 입력 히스토리 uₜ(·)와 시스템 모델을 이용해 연속 적분한다. 이 예측 상태는 지연이 없는 동역학 ˙xₚ = f(xₚ, u) 를 만족하므로, 이후 제어 설계는 지연 없는 시스템에 그대로 적용할 수 있다. 3. **적분 제어 장벽 함수(ICBF) 도입** 기존 CBF는 h(x)만을 사용하지만, ICBF는 h(x, u) 형태로 상태와 입력을 동시에 포함한다. 동적으로 정의된 적분 제어 law ˙u = ϕ(xₚ, u) + v 를 사용하고, 여기서 ϕ는 명시적인 목표 제어(예: 추종) 역할을, v는 안전을 보장하기 위한 보정 입력을 의미한다. ICBF 조건 bᵀv ≥ a (b와 a는 h의 편미분을 이용해 정의) 를 만족하도록 QP를 구성한다. 4. **두 제약의 결합 및 실현 가능성** 상태 제약을 위한 확장 장벽 hₑ와 입력 제약을 위한 hᵤ를 각각 ICBF로 정의하고, 두 개의 선형 부등식 bₑᵀv ≥ aₑ, bᵤᵀv ≥ aᵤ 를 동시에 만족해야 한다. 일반적으로 각각은 실현 가능하지만, 동시에는 불가능할 수 있다. 이를 해결하기 위해 Lemma 1(Farkas’ Lemma 기반)과 Proposition 1을 제시한다. 핵심은 bₑ와 bᵤ가 반평행(또는 하나가 영)일 때 추가적인 조건 (34c) 즉, (aₑ+rₑ)‖bᵤ‖ + (aᵤ+rᵤ)‖bₑ‖ ≤ 0 이 만족되어야 한다는 것이다. 이 조건은 ϕ 설계(예: 이득 조정)를 통해 aₑ, aᵤ를 조절함으로써 강제할 수 있다. 5. **예측 오차에 대한 강인성 강화** 실제 구현에서는 τ와 f가 정확히 알려지지 않아 ˆxₚ와 실제 xₚ 사이에 오차가 존재한다. 이를 d(t)라는 매치드 교란으로 모델링하고, ∥d∥≤δ 라는 유계 가정을 둔다. 강인 ICBF 조건 bᵀv ≥ a + r 를 도입한다. 여기서 r = µ(h)‖b‖ + σ(h)‖b‖² 로 정의되며, µ와 σ는 h에 따라 감소하는 함수(예: 지수 감소)이다. 따라서 안전 경계 근처에서만 보수적인 마진을 부여해 오차에 대한 여유를 확보하고, 내부에서는 원래 ICBF와 동일하게 동작한다. 6. **안전 보장 정리** 초기 입력 히스토리가 이미 안전 집합 Sᵢ에 속한다는 가정(Assumption 3) 하에, 제안된 예측‑ICBF‑QP 제어기는 모든 t≥0에 대해 (x(t), u(t‑τ))∈Sᵢ 를 유지한다. 즉, 시스템은 전역적으로 안전 집합 안에 머무르며, 입력 제약도 동시에 만족한다. 7. **시뮬레이션 검증** 적응형 크루즈 컨트롤 사례를 통해 프레임워크를 검증한다. 차량은 앞차와의 거리 유지(hₓ)와 가속도 제한(hᵤ)를 동시에 만족해야 한다. 입력 지연 τ=0.2 s를 가정하고, 예측 오차를 0.05 s 정도로 설정했을 때도 제어기는 안전 경계 내에서 정상 주행을 유지한다. 또한, ϕ 파라미터를 조정해 aₑ와 aᵤ를 적절히 설계함으로써 실현 가능성 조건 (34c)를 만족시켜 QP가 항상 해를 갖도록 만든다. **핵심 기여** - 입력 지연을 보상하는 예측 피드백을 ICBF와 결합, 지연 없는 안전 설계 가능. - 두 제약(상태·입력)의 호환성을 보장하는 폐쇄형 실현 가능성 조건을 제시, 기존 CBF 문헌에 없는 새로운 이론적 결과. - 예측 오차에 대한 강인 ICBF 설계법을 도입, 마진 함수 µ,σ를 통해 보수성을 상황에 맞게 조절. - 실제 차량 제어 시뮬레이션을 통해 이론의 실효성을 입증. 이러한 기여는 자율주행, 로봇 매니퓰레이션, 전력 시스템 등 입력 지연이 필연적인 다양한 분야에 적용 가능하며, 안전과 실현 가능성을 동시에 보장하는 제어 설계에 새로운 패러다임을 제시한다.