기술 요약: 출력 섭동 제한이 있는 ARMAX 시스템의 폐루프 식별을 위한 재귀적 실험 설계

1. 문제 정식화

본 논문은 고정된 출력 피드백 제어기 하에서 운용되는 선형 동적 시스템의 폐루프 시스템 식별 문제를 다룬다. 많은 실제 시나리오에서는 안전을 보장하거나 운영을 유지하기 위해 이미 알려진 고정된 출력 피드백 제어기가 작동 중인 상태에서 실험을 수행해야 한다. 시스템은 다음과 같은 ARMAX(AutoRegressive Moving Average with eXogenous input) 구조로 모델링된다:
$$y_t = G(q; \theta)u_t + H(q; \theta)e_t$$
여기서 $G$와 $H$는 파라미터 $\theta$에 의해 매개변수화된 미지의 전달 함수이며, $e_t$는 백색 잡음 혁신 과정(white noise innovation process)이다.

핵심 문제는 일정한 참조 신호에 의해 구동되는 기존의 폐루프 동역학이 시스템 파라미터를 식별하기에 충분한 흥분을 제공하지 못하는 경우(informativeness 부족 현상) 발생한다. 이를 해결하기 위해 제어 입력에 탐사 신호(probing signal) $d_t$를 추가한다 ($\tilde{u}_t = u_t + d_t$). 그러나 이 신호를 주입하면 필연적으로 시스템 출력에 섭동이 발생한다 ($\tilde{y}_t = y_t + \delta_t$). 본 연구의 목적은 다음과 같은 조건을 만족하도록 $d_t$를 재귀적으로 설계하는 것이다:

1. 생성된 입출력 데이터가 ARMAX 모델을 식별하기에 충분히 유익할 것(informative).
2. 출력 섭동 $\delta_t$가 사용자가 지정한 범위 내에 머무를 것 ($\delta_{\min} \le \delta_t \le \delta_{\max}$).
3. 설계가 순차적으로 추정되는 모델 파라미터에 적응할 것.

2. 방법론

2.1 식별성 분석 (Identifiability Analysis)

저자들은 먼저 폐루프 데이터가 유익한 정보를 제공하기 위한 조건을 확립한다.

• 구조적 식별성 (Structural Identifiability): 저자들은 플랜트, 제어기 및 잡음 모델의 차수에 기반하여 조건(Theorem 1)을 도출한다. 만약 제어기 동역학이 충분히 풍부하다면(구체적으로 계산된 정수 $\gamma < 0$인 경우), 탐사 신호 없이도 시스템은 식별 가능하다.
• 탐사 신호 요구 사항: 구조적 풍부함이 불충분한 경우($\gamma \ge 0$), 본 논문은 $n_e \ge \gamma$ 차수의 지속적으로 흥분하는(persistently exciting) 유계의 이산 값 탐사 신호가 식별성을 보장하기에 충분함을 증명한다(Theorem 2).

2.2 섭동 제한의 실현 가능성 (Feasibility of Perturbation Limits)

본 논문의 중요한 기여 중 하나는 "재귀적 실현 가능성(recursive feasibility)"에 대한 분석이다. 저자들은 시간 $t$에서 섭동 제한을 만족하는 것이 시간 $t+1$에서도 실행 가능한 해의 존재를 보장하는지 분석한다.

• 저자들은 섭동 $\delta_t$를 탐사 신호에 의해 구동되는 민감도 함수(sensitivity function)의 출력으로 모델링한다.
• Proposition 1은 사용자가 지정한 제한값($\delta_{\min}, \delta_{\max}$)과 최대 허용 탐사 진폭($d_{\max}$) 및 시스템의 임펄스 응답 사이의 관계에 대한 충분 조건을 제공한다. 이 조건이 충족되면, 다단계 제약 문제(multi-step constraint problem)를 단일 단계 제약 문제로 완화할 수 있어 설계를 크게 단순화할 수 있다.

2.3 재귀적 설계 알고리즘

본 논문은 재귀적 예측 오차 방법(Recursive Prediction Error Method, RPEM)을 사용하여 탐사 신호 설계를 위한 계산 효율적인 폐쇄형 해(closed-form solution)를 제안한다.

• 매개변수화: 미지의 입력 지연(input delay)을 처리하기 위해 확장된 파라미터 벡터를 사용한다.
• 설계 기준: 추정 오차 공분산을 최소화한다. 두 가지 기준이 고려된다: 공분산 행렬의 행렬식(D-criterion)과 가중 공분사의 트레이스(L-criterion)이다. 두 방식 모두 예측 오차의 기울기(gradient)를 포함하는 이차 형식(quadratic form)을 최대화하는 문제로 귀결된다.
• 폐쇄형 해 (Theorem 3): 공분산 행렬과 기울기 벡터를 분할함으로써, 최적화 문제는 선형 제약 조건이 있는 볼록 이차 함수(convex quadratic function)를 최대화하는 문제로 축소된다. 최적의 탐사 신호 $d^*_t$는 단순한 임계값 비교에 의해 결정되는 이산 값 신호(경계값 중 하나를 갖는 신호)임이 밝혀졌다.
• 적응성: 제약 조건과 신호 값은 현재의 파라미터 추정치 $\hat{\theta}_t$를 사용하여 재귀적으로 업데이트된다. 또한 저자들은 미지의 입력 지연을 온라인으로 추정하는 실용적인 방법을 제공한다.

3. 주요 기여

1. 적응적 재귀적 설계: 본 논문은 고정된 주파수나 고정된 시간 설계와 달리, 순차적으로 추정되는 모델 파라미터에 적응하는 탐사 신호 설계법을 도입한다.
2. 폐쇄형 해 (Closed-Form Solution): 최적의 탐사 신호를 위한 계산 효율적인 폐쇄형 표현식을 도출하였다. 이 신호는 이산 값을 가지며 유계되어 있어, 지속적 흥분에 대한 이론적 조건을 충족한다.
3. 실현 가능성 분석: 사용자가 지정한 출력 섭동 제한이 재귀적으로 실현 가능함을 보장하는 엄격한 조건을 제공하여, 복잡한 다단계 최적화를 단일 단계 문제로 해결할 수 있게 한다.
4. 미지 지연 처리: 확장된 매개변수화와 추정기를 통합하여 재귀적 프레임워크 내에서 미지의 입력 지연을 처리한다.

4. 수치 결과

제안된 방법은 서로 다른 특성(입력 지연이 있는 경우와 없는 경우 포함)을 가진 두 개의 ARMAX 시스템에 대해 몬테카를로 시뮬레이션을 통해 평가되었다.

• 기초 모델과의 성능 비교: 제안된 적응형 설계는 "제로 탐사(zero probing)" 기초 모델(흥분이 없는 경우) 및 의사 난수 이진 수열(PRBS) 기초 모델과 비교되었다.
  • 제로 모델은 충분한 흥분이 부족하여 수렴이 매우 느리거나 일어나지 않았다.
  • PRBS 모델은 빠른 수렴을 제공했으나, 출력 섭동을 크게 발생시켜 종종 참조 신호의 25%를 초과했다.
  • 제안된 방법은 PRBS와 유사한 수렴 속도를 달면서도, 사용자 정의 섭동 제한(예: 섭동을 참조 신호의 10-20% 미만으로 유지)을 엄격히 준수하였다.
• 트레이드오프 (Trade-off): 결과는 명확한 트레이드오프를 보여준다: 더 타이트한 섭동 제한($\delta_{\max}$)은 수렴 속도를 약간 늦추지만 안전을 보장한다. 설계의 적응적 특성은 모델 추정이 개선됨에 따라 시스템이 이러한 제한을 준수할 수 있게 한다.
• 강건성 (Robustness): 이 방법은 미지의 입력 지연이 있는 시스템을 성공적으로 처리하였으며, 지연을 정확히 추정하고 그에 따라 탐사 신호를 조정하였다.

5. 의의 및 주장

본 논문은 그 주요 의의가 이미 고정된 제어기가 배치된 시스템에 대해 안전하고 유익한 폐루프 식별을 가능하게 하는 데 있다고 주장한다. 유계의 적응형 탐사 신호를 추가함으로써, 이 방법은 운영 안전 제약을 위반하지 않으면서 기존 제어기를 개선할 수 있게 한다.

저자들은 자신들의 접근 방식이 다음과 같음을 강조한다:

• 제어기 자체를 재설계할 필요가 없다.
• 정적 설계와 달리 실험 중에 얻은 정보에 적응한다.
• 식별성 및 재귀적 실현 가능성에 대한 수학적으로 엄격한 보장을 제공한다.
• 실시간 구현에 적합한 실용적이고 계산 비용이 낮은 솔루션을 제공한다.

본 연구는 이론적 실험 설계와 실제적 제약 사이의 가교 역할을 하며, 특히 산업 제어 환경에서 식별 정확도와 출력 섭동 제한 사이의 균형을 맞추어야 하는 필요성을 다루고 있다.