Antagonistic Control: Foundations, Scalability and Nonlinearity

기술 요약: 적대적 제어: 기초, 확장성 및 비선형성

문제 정식화
본 논문은 연속 시간 동역학 시스템에 대한 "적대적 제어(antagonistic control)" 문제를 조사한다. 핵심 목표는 제약이 있는 제어 입력의 최악의 영향(worst-case impact)을 결정하는 것이다. 구체적으로, 적대적 입력 $u(t)$는 서로 소인 출력 집합 $M$의 비용이 지정된 임계값 $\delta_j$ 미만으로 유지된다는 제약 조건 하에서, 성능 출력 $P$의 평균 비용($L_2$ 또는 $L_1$ 노름으로 측정)을 최대화하고자 한다.

수학적으로, 시스템 $\dot{x} = f(x, u)$와 출력 $y_i = h_i(x, u)$에 대하여 문제는 다음과 같이 정식화된다:
$$\sup_{u \in U} \frac{1}{|P|} \sum_{i \in P} \int_0^\infty \ell(y_i(t), Q_i) \, dt$$
단, 다음 조건을 만족해야 한다:
$$\int_0^\infty \ell(y_j(t), R_j) \, dt \leq \delta_j, \quad \forall j \in M$$
여기서 $\ell(\cdot, \cdot)$은 손실 함수이고, $U$는 입력 신호 공간(예: $L_2, L_0^2, L_1$)이며, 집합 $P$와 $M$은 시스템 출력을 분할한다. 이 프레임워크는 $H_\infty$ 노름 및 출력 간 이득(output-to-output gains)과 같은 고전적인 지표를 일반화하며, 적대적 제어, 보안 평가 및 강건 제어 분야에서 관련성을 갖는다.

방법론
저자들은 다양한 시스템 클래스에 걸쳐 통일된 분석 파이프라인을 채택한다:

1. 쌍대화(Dualization): 원래의 최적화 문제를 볼록 쌍대 문제(convex dual problem)로 변환한다.
2. 소산성 논증(Dissipativity Arguments): 쌍대 제약 조건을 (순환) 소산성 이론을 사용하여 분석함으로써 적분 제약을 행렬 부등식과 연관시킨다.
3. 볼록 최적화(Convex Optimization): 결과적인 조건들을 준정부호 계획법(SDP), 선형 계획법(LP) 또는 합의 제곱(SOS) 프로그램으로 정식화한다.

분석은 단일 제약 시나리오와 다중 제약 시나리오를 구분한다. 단일 제약의 경우, 도출된 프로그램은 종종 정확하다(exact). 다중 제약의 경우, 문헌상에 일반적인 정확한 계산 방법이 존재하지 않기 때문에, 본 방법론은 최악의 비용에 대한 상한(upper bound)을 제공한다.

주요 기여 및 결과

• 선형 시불변(LTI) 시스템:

  • 단일 제약에 대한 정확한 SDP: 제약이 하나($|M|=1$)이고 입력 공간이 $L_{2e}$인 경우, 본 논문은 최악의 비용을 계산하기 위한 정확한 SDP를 도출한다(정리 5).
  • 무한대 조건(Unboundedness Conditions): 저자들은 최악의 비용이 무한대가 되는 충분 조건을 확립한다. 이러한 조건은 시스템 제로(zeros) 및 상대 차수(relative degrees)에 의존한다. 구체적으로, 제약된 출력($M$)이 목적 출력($P$)의 제로가 아닌 불안정한 유한 제로를 갖거나, 목적 출력의 상대 차수가 제약된 출력의 상대 차수보다 엄격히 낮은 경우, 비용은 무한대가 된다(정리 6, 10, 12).
  • 구성적 구제책(Constructive Remedy): 무한대 문제를 해결하기 위해, 본 논문은 구성적인 폐루프 수정 방안을 제안한다(정리 8). 상대 차수가 너무 낮은 특정 출력을 통합함으로써, 시스템의 상대 차수를 조정하여 타당성 조건을 만족시키고 최악의 비용을 유한하게 만들 수 있다.
  • 다중 제약: $|M| > 1$인 경우, 본 논문은 $L_{2e}$ 및 $L_0^2$ 입력 공간 모두에 대해 최악의 비용에 대한 상한을 계산하는 SDP를 제공한다(정리 10 및 12).

• 양의 LTI(Positive LTI) 시스템:

  • 확장성: 표준 SDP가 상태 차원에 따라 이차적으로 스케일링되는 점을 인식하여, 본 논문은 양의 시스템(상태, 입력, 출력이 모두 비음수인 시스템)을 위한 확장 가능한 정식화를 도입한다.
  • 선형 복잡도: 이차 비용에 대하여, 저장 함수 행렬 $P$를 대각 행렬로 제한함으로써 매개변수의 수가 상태 차수에 따라 선형적으로 증가하는 확장 가능한 SDP를 도출한다(정리 15).
  • 선형 비용에 대한 정확한 LP: 선형 비용 및 $L_1$ 제약에 대하여, 정확한 선형 계획법(LP)을 도출하여(정리 17), SDP에 대한 계산 효율적인 대안을 제공한다.

• 비선형 다항식 시스템:

  • SOS 확장: 분석은 합의 제곱(SOS) 프로그래밍을 통해 비선형 다항식 시스템으로 확장된다(정리 19). 이는 LTI 시스템에서 사용된 소산성 논증을 일반화하여, 다항식 저장 함수를 탐색함으로써 최악의 비용에 대한 상한을 제공한다.

의의 및 주장
본 논문은 시스템 클래스(LTI, Positive LTI, Polynomial), 비용 함수(Quadratic, Linear), 입력 공간에 걸친 적대적 제어의 통합된 처리를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 구조적 취약성 규명: 분석은 최악의 비용가 입력 신호 공간의 선택에 매우 민감하다는 점을 강조한다. 본 논문은 어떤 시스템이 $L_0^2$(결국 멈추는 신호)에서는 유한한 최악의 비용을 보이지만, $L_{2e}$(유한한 시간 범위 내에서 유한한 에너지를 갖는 신호)에서는 무한한 비용을 보일 수 있음을 입증한다. 이는 표준 분석이 놓칠 수 있는 특정 공격 입력에 대한 구조적 한계를 드러낸다.
2. 대규모 시스템을 위한 확장성: 양의 시스템의 특성을 활용함으로써, 본 논문은 공격 에너지에 대한 임의의 경계 없이도 대규모 시스템(예: 전력망)의 표준 SDP가 갖는 계산적 불가능성을 해결하는 선형 스케일링 정식화를 제공한다.
3. 구성적 보안 평가: 위험을 정량화하는 것을 넘어, 본 논문은 시스템의 상대 차수를 조정하여 무한대 문제를 제거할 수 있는 구성적 방법(정리 8)을 제공하며, 이는 시스템 운영자가 구조적 취약성을 완화할 수 있는 경로를 제시한다.

결과들은 4탱크 공정(quadruple tank process) 및 다항식 시스템을 포함한 수치적 예시를 통해 설명되며, 이를 통해 이론적 상한과 제안된 수정 방안의 효용성을 검증한다. 결론적으로, 향후 연구는 이러한 최악의 비용를 최소화하는 제어기 합성(synthesizing controllers)에 집중할 것임을 밝힌다.