Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems

1. 문제 정의 (Problem Formulation)

이 논문은 결합된 2×2 쌍곡형 편미분방정식 (PDE) 과 상미분방정식 (ODE) 으로 모델링된 시스템을 대상으로 합니다. 이러한 시스템은 분산된 외란 (fully distributed disturbances) 에 노출되어 있으며, 제어 입력이 적용된 위치에서 가장 먼 곳 (distal end) 에 있는 상태가 제어 대상 출력 (regulated output) 으로 정의됩니다.

주요 제어 목표는 다음과 같습니다:

1. 출력 조절 (Output Regulation): 시스템 출력이 원하는 기준 신호 (reference) 를 추종하고 외란을 거부하여 오차를 0 으로 수렴시키는 것.
2. 안전성 보장 (Safety Guarantee): 제어 대상 출력이 사전에 정의된 안전 영역 (Safe Region) 내에 유지되도록 하는 것. 이는 제어 제어 입력이 도달하기 전의 초기 지연 시간 동안에도, 혹은 초기 상태가 안전 영역 밖일 경우에도 적용되어야 합니다.
3. 불확실성 처리: 시스템의 전체 상태 (PDE 상태 포함) 와 외부 외란이 측정 불가능한 경우에도 위 목표를 달성하는 것.

2. 방법론 (Methodology)

논문은 백스테핑 (Backstepping) 기법과 제어 장벽 함수 (Control Barrier Functions, CBF) 를 통합하여 다음과 같은 제어 구조를 제안합니다.

A. 상태 피드백 제어기 설계 (Nominal Safe Control)

1. 변환 (Transformations):
   • 1 단계: 추적 오차 동역학을 고차의 적분기 체인 (chain-of-integrators) 형태로 변환하여 장벽 함수 설계에 적합하게 만듭니다.
   • 2 단계: 고차 장벽 함수 (High-Relative-Degree CBFs) 를 도입합니다. 이를 통해 출력 오차 $e(t)$ 가 안전 영역 ($h(e, t) \ge 0$) 내에 있도록 강제합니다. 초기 상태가 안전 영역 밖일 경우, 사용자가 지정한 시간 ($t_a$) 내에 안전 영역으로 복귀하도록 하는 예측 시간 안전 (Prescribed-Time Safety) 메커니즘을 포함합니다.
   • 3 단계: PDE 내부의 결합 불안정 항과 외란 의존성을 제거하기 위해 역적 백스테핑 (Inverse Backstepping) 변환을 적용합니다. 이를 통해 목표 시스템 (Target System) 을 안정화 가능한 형태로 만듭니다.
2. 제어 입력: 변환된 시스템을 기반으로 제어 입력을 설계하여, PDE 상태와 ODE 상태가 모두 유계 (bounded) 가 되도록 하고 출력 오차가 지수적으로 0 으로 수렴하도록 합니다.

B. 상태 관측기 및 외란 추정기 (Observer Design)

실제 환경에서는 모든 상태와 외란을 측정할 수 없으므로 다음과 같은 확장 관측기를 설계합니다:

• 상태 관측기: 측정 가능한 출력 ($y_1$, $z(1, t)$) 을 이용하여 측정 불가능한 PDE 상태 ($z, w$) 와 ODE 상태 ($Y$) 를 추정합니다.
• 외란 추정기: 외란이 생성되는 외계 신호 모델 (exogenous signal model) 을 기반으로 외란을 실시간으로 추정합니다.
• 오차 분석: 관측기 오차 시스템에 대한 리아푸노프 (Lyapunov) 분석을 통해 추정 오차가 지수적으로 0 으로 수렴함을 증명하고, 오차의 상한을 명시적으로 유도합니다.

C. 강인한 출력 피드백 제어기 (Robust Output-Feedback Control)

• 추정된 상태와 외란을 사용하여 상태 피드백 제어기를 구현합니다.
• 추정 오차로 인한 안전성 위반을 방지하기 위해, 원래의 안전 영역을 추정 오차의 상한만큼 축소된 강인 안전 집합 (Robust Safe Set) 으로 정의합니다.
• 추정 오차가 시간이 지남에 따라 0 으로 수렴함에 따라, 축소된 안전 영역은 원래의 안전 영역으로 점근적으로 접근합니다.
• 제어 입력에 슬로핑 (Sloping) 항을 추가하여 추정 오차를 보상하고 안전성을 보장합니다.

3. 주요 기여 (Key Contributions)

1. PDE 시스템의 안전한 출력 조절: 기존 PDE 출력 조절 연구는 주로 안정성에 집중했으나, 본 논문은 안전성 제약 조건을 동시에 만족하는 최초의 결과 중 하나를 제시합니다.
2. 출력 피드백 및 외란 처리: 기존 안전 제어 연구가 주로 상태 피드백에 국한되었던 것과 달리, 측정 불가능한 PDE 상태와 외부 외란을 모두 고려한 출력 피드백 제어기를 개발했습니다.
3. 일반적인 장벽 함수 및 예측 시간 안전: 단순한 양수 제약이 아닌 일반적인 장벽 함수 ($h$) 를 도입하여 유연한 안전 사양을 지원하며, 초기 상태가 안전 영역 밖일 경우에도 사용자가 지정 가능한 시간 ($t_a$) 내에 안전 영역으로 복귀함을 보장합니다.
4. 실제 적용 사례 (UAV): 케이블에 매달린 적재물을 운반하는 UAV 배송 시나리오에 적용하여, 바람과 같은 외란 하에서도 적재물이 장애물과 충돌하지 않으면서 원하는 경로를 추종함을 시뮬레이션을 통해 입증했습니다.

4. 실험 결과 및 성능 (Results)

• 시뮬레이션 환경: 케이블 길이 1m, 적재물 질량 15kg, 공기 저항 및 반감쇠 (anti-damping) 를 포함한 불안정한 시스템 모델 사용.
• Case 1 (한쪽 안전 영역): 기준 신호의 한쪽만 안전 영역인 경우. 초기 상태가 안전 영역 밖 ($y_1 = -1$) 에서 시작했을 때, 설계된 제어기가 1.85 초 이내 (설계 시간 2.058 초 미만) 에 안전 영역으로 복귀시켰습니다.
• Case 2 (양쪽 안전 영역): 기준 신호를 중심으로 상하로 장벽이 있는 경우. 초기 상태가 안전 영역 밖 ($y_1 = 20$) 에서 시작했을 때, 0.34 초 만에 안전 영역으로 복귀하여 기준 궤적을 추종했습니다.
• 관측기 성능: PDE 상태, ODE 상태, 외란에 대한 추정 오차가 모두 지수적으로 0 으로 수렴함을 확인했습니다.
• 안정성: 모든 폐루프 신호가 유계이며, 추적 오차가 지수적으로 0 으로 수렴함을 확인했습니다.

5. 의의 및 결론 (Significance and Conclusion)

이 논문은 무인 항공기 (UAV) 와 같은 자율 시스템에서 안전이 최우선 과제인 상황에서, 복잡한 분산 매개변수 시스템 (PDE) 을 제어하는 새로운 패러다임을 제시합니다.

• 이론적 의의: 백스테핑 제어와 제어 장벽 함수 (CBF) 를 결합하여 PDE-ODE 시스템의 안전성 보장 문제를 해결한 선구적인 연구입니다. 특히, 상태 관측기를 통한 불확실성 하에서의 안전성 보장은 실제 적용 가능성을 크게 높였습니다.
• 실용적 의의: 케이블 하중 운반, 파이프라인 흐름 제어, 화학 반응기 등 다양한 공학 분야에서 발생할 수 있는 안전 제약이 있는 제어 문제에 적용 가능한 강력한 프레임워크를 제공합니다.
• 향후 과제: 향후 연구에서는 쌍곡형 PDE 대신 포물형 (Parabolic) PDE-ODE 시스템에 대한 안전한 출력 조절 문제로 확장할 계획입니다.

요약하자면, 이 연구는 불확실성과 외란이 존재하는 복잡한 분산 시스템을 제어하면서도 안전 영역을 절대적으로 준수하거나 지정된 시간 내에 복귀시키는 것을 보장하는 통합 제어 이론을 제시했다는 점에서 매우 중요한 의미를 가집니다.