Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control

기술 요약: 비선형 제어에서 과대근사 오차를 미리 정보로 활용하는 방법

문제 제기
상태 및 입력 제약을 받는 비선형 시스템의 제어는 항공우주 및 로봇공학과 같은 안전-중요 분야에서 근본적인 도전 과제입니다. 전통적인 추상화 방법은 tractable한 제어기 합성을 위해 복잡한 비선형 동역학을 단순한 모델 (예: 선형 또는 구간별 아핀 시스템) 로 대체합니다. 그러나 이러한 방법들은 일반적으로 근사 오차를 알려지지 않은 적대적 외란으로 취급합니다. 이러한 보수적인 처리는 제어기가 최악의 오차 실현을 고려하도록 강제하여 과도한 보수성과 성능 저하를 초래합니다. 본 연구에서 다루는 핵심 문제는 안전 보장을 희생하지 않고 과대근사 오차의 구조를 활용하여 제어 성능을 개선하는 방법입니다.

방법론
저자들은 과대근사 오차를 알려지지 않은 외란이 아닌 입력 의존적 미리 정보로 취급하는 프레임워크를 제안합니다.

1. 정보를 갖춘 정책 (Informed Policies): 표준 상태 피드백 정책 $\pi(x)$ 대신, 저자들은 현재 상태 $x$와 과대근사 오차 $e$ 모두에 의존하는 "정보를 갖춘 정책" $\pi(x, e)$을 정의합니다. 오차 함수 $e(x, u) = f(x, u) - \hat{f}(x, u)$는 알려져 있고 결정적이므로, 런타임에서의 오차는 선택된 입력 $u$의 함수가 됩니다.
2. 구체화 문제 (The Concretization Problem): 정보를 갖춘 정책을 구현하려면 $u = \pi(x, e(x, u))$를 만족하는 입력 $u$를 찾아야 합니다. 이는 입력과 오차 사이에 순환적 의존성을 생성합니다. 저자들은 이를 고정점 방정식으로 공식화합니다. 즉, $F_x(u) = \pi(x, f(x, u) - \hat{f}(x, u))$인 $u$를 찾아 $u = F_x(u)$를 만족하는 것입니다.
3. 존재성과 계산:
   • 존재성: 브라우어 고정점 정리를 사용하여, 입력 집합 $U$가 공집합이 아니며 컴팩트하고 볼록하며 관련 함수들이 연속일 경우 해가 존재함을 증명합니다.
   • 효율적인 계산:
     • 공유 입력 의존성: 참 동역학과 근사 동역학이 동일한 입력 의존성을 공유하는 경우 (예: $f(x,u) = f_x(x) + B u$ 및 $\hat{f}(x,u) = \hat{f}_x(x) + B u$), 오차는 $u$에 무관해지므로 폐쇄형 해를 얻을 수 있습니다.
     • 입력 아핀 시스템: 동역학이 $u$에 대해 아핀인 시스템 ($f(x,u) = f_x(x) + f_u(x)u$) 이고 정책이 오차에 대해 아핀인 경우, 구체화 문제는 볼록 프로그래밍 (또는 $U$가 다면체인 경우 선형 프로그래밍) 으로 축소됩니다.
     • 일반 비선형 시스템: 임의의 비선형 시스템에 대해 저자들은 고정점 사상이 수축이 되는 조건을 확립합니다. 조건이 충족되면 반나흐 고정점 정리가 반복 방법을 통해 찾을 수 있는 유일한 해를 보장합니다.
4. 정책 합성: 이러한 정책을 합성하기 위해 저자들은 **시스템 레벨 합성 (SLS)**을 활용합니다. 시스템 상태에 오차 항을 포함시켜 확장함으로써, 문제를 확장된 선형 (또는 구간별 선형) 시스템에 대한 상태 피드백 정책 합성 문제로 변환합니다. 이를 통해 과대근사 집합 내의 모든 가능한 오차 실현에 대해 제약을 만족하는 정책을 설계하기 위해 볼록 최적화를 사용할 수 있습니다.

주요 기여

• 근사 오차의 재정의: 본 논문은 과대근사 오차가 본질적으로 입력 의존적 미리 정보를 제공함을 보여줌으로써, 이러한 오차를 순수한 적대적 외란으로 보는 표준 관점에 도전합니다.
• 정보를 갖춘 정책 형식화: 저자들은 오차 항을 명시적으로 활용하는 "정보를 갖춘 정책"을 도입하여 고전적인 비정보 정책을 일반화합니다.
• 구체화 프레임워크: 미리 정보 기반 정책으로부터 참 시스템에 대한 유효한 입력을 복원하는 문제를 고정점 방정식으로 공식화합니다.
• 이론적 보장:
  • 해의 존재는 온화한 위상적 조건 하에서 브라우어 정리를 통해 보장됩니다.
  • 시스템 구조에 따라 폐쇄형 해, 볼록/선형 프로그래밍, 또는 반복적 수축 방법을 통한 효율적인 계산이 제공됩니다.
• 합성 방법: 비선형 구체화에 필요한 수축을 보장하는 조건을 포함하여 확장된 시스템에서 SLS 를 사용하여 정보를 갖춘 정책을 합성하는 방법을 제시합니다.

결과
저자들은 두 가지 비선형 시스템에 대한 수치 실험을 통해 접근법을 검증했습니다:

1. 입력 아핀 동역학: $\dot{x}_1 = x_2 + 0.5x_1^2$ 및 $\dot{x}_2 = 0.75x_1^2 + 2x_2^3 + \cos(x_2)u$인 동역학을 가진 시스템. 정보를 갖춘 정책은 비정보 정책의 $0.62$에 비해 보장된 최종 상태$x_{1,T} \geq 0.81$을 달성했습니다.
2. 비선형 동역학: $\dot{x}_1 = x_2$ 및 $\dot{x}_2 = -\sin(x_1) + 0.5x_2^2 + 2\sin(u)$인 동역학을 가진 시스템. 반복적 반나흐 기반 구체화를 사용하여 정보를 갖춘 정책은 비정보 정책의 보장치 $2.7$을 능가하는$x_{1,T} \geq 3.1$을 보장했습니다.

두 경우 모두 정보를 갖춘 정책은 보수성을 현저히 줄여 시스템이 제약을 엄격히 준수하면서 상태 공간 더 깊은 영역에 도달할 수 있게 했습니다.

의의 및 주장
본 논문은 과대근사 오차를 알려지지 않은 외란이 아닌 미리 정보로 해석함으로써, 제어 설계자가 제약이 있는 비선형 동역학에 대해 보수성이 감소된 tractable하고 신뢰할 수 있는 제어 법칙을 달성할 수 있다고 주장합니다. 이 작업은 고정점 이론을 통해 이러한 접근법에 대한 엄격한 수학적 기초를 제공하여, 정책이 내리는 "정보를 갖춘" 결정이 참 시스템에 대해 물리적으로 실현 가능 (구체화 가능) 함을 보장합니다. 저자들은 이를 안전-중요 분야에서 표준 강건 방법이 종종 지나치게 보수적인 상황에서 제어 시스템의 더 효율적인 배포를 위한 한 걸음으로 위치시킵니다.

본 논문은 향후 작업이 외부 외란, 출력 피드백, 다단계 미리 정보를 가진 시스템으로의 확장을 다룰 것이라고 언급하며, 이러한 확장이 현재 해결되었음을 주장하지는 않습니다.