Stability Analysis and Data-Driven State Estimation for Generalized Persidskii Systems with Time Delays: Theory and Experimental Validation on PMSM Drives

"시간 지연을 갖는 일반화된 페르시드스키 시스템에 대한 안정성 분석 및 데이터 기반 상태 추정: 이론 및 PMSM 구동에 대한 실험적 검증"에 대한 상세한 기술적 요약은 다음과 같습니다.

1. 문제 제기

본 논문은 시간 가변 지연과 외부 교란에 노출된 일반화된 페르시드스키 시스템(선형 동역학과 섹터 제한 비선형 피드백을 결합한 시스템 클래스) 의 안정성 분석 및 상태 추정의 과제를 다룹니다.

식별된 주요 과제는 다음과 같습니다:

• 지연 민감성: 기존 페르시드스키 시스템의 안정성 기준은 종종 지연이 없는 채널을 가정하는데, 이는 샘플링 및 전송 지연 (밀리초 단위) 이 일반적인 디지털 제어 구동 및 네트워크 시스템에는 비현실적입니다.
• 모델 불확실성: 많은 실제 응용 분야 (예: 상태 모니터링) 에서 시스템 행렬은 알려져 있지 않습니다. 확장 동적 모드 분해 (EDMD) 와 같은 표준 데이터 기반 식별 방법은 식별된 모델이 안정성 특성을 계승한다는 것을 보장하지 않습니다.
• 강인 제어: 불확실성과 지연 하에서 이러한 시스템을 제어하려면 과도 교란 동안 수치적 폭발이나 불안정성을 방지하기 위해 입력 - 상태 안정성 (ISS) 을 보장하는 프레임워크가 필요합니다.

2. 방법론

저자들은 이론적 안정성 분석, 구조화된 관측기 설계, 안정성 보존 데이터 기반 식별, 그리고 고급 제어를 통합한 통합 프레임워크를 제안합니다.

A. 이론적 안정성 분석

• 리아푸노프 - 크라소프스키 함수 (LKF): 복합 LKF 가 구성되며, 다음을 결합합니다:
  1. 비선형 에너지에 대한 고전적 페르시드스키 적분 항.
  2. 표준 2 차 지연 버퍼.
  3. 젠센 부등식에서 발생하는 교차항에 대한 더 엄격한 경계를 제공하기 위한 위르팅거 기반 이중 적분 항.
• LMI 기준: 저자들은 지연 의존적 ISS 조건을 선형 행렬 부등식 (LMIs) 으로 표현하여 유도했습니다. 이 기준은 최대 허용 지연 ($\tau_{max}$) 을 명시적으로 고려하여 교란에서 상태로의 특정 $L_2$-이득 ($\gamma$) 을 갖는 ISS 를 보장합니다.

B. 구조화된 강인 관측기

• 플랜트 아키텍처를 반영하도록 페르시드스키 구조 관측기가 설계되었습니다.
• 오차 동역학에서 섹터 제한 구조를 보존함으로써, 저자들은 관측기 오차가 전역적으로 수렴함을 증명했습니다.
• 관측기 이득은 교란 - 오차 전달 함수의 $H_\infty$ 노름을 최소화하도록 최적화되어, 측정 잡음 및 외부 교란에 대한 강인성을 보장합니다.

C. 안정성 보존 데이터 기반 식별

• 쿠퍼만 연산자 프레임워크: 시스템을 더 높은 차원의 관측 가능 공간으로 들어 올려 선형과 유사한 표현을 생성합니다.
• 제약 회귀: 표준 EDMD 와 달리, 식별 과정 (쿠퍼만 행렬 $A_K, B_K, C_K$를 구하는 것) 은 제약 최적화 문제로 설정됩니다.
• 제약: 이론 섹션에서 유도된 ISS-LMI가 매개변수 회귀 중 볼록 부차 조건으로 내장됩니다. 이는 식별된 모델이 수학적으로 ISS 가 보장되며, 분석 모델의 강인성 증명을 계승하도록 보장합니다.

D. 제어 아키텍처 (ICODE-MPPI)

• 식별된 페르시드스키 - 쿠퍼만 모델은 ICODE-MPPI(입력 의존 제어 지향 동적 추정 - 모델 예측 경로 적분) 제어기의 예측 커널로 사용됩니다.
• 제어기는 확률적 롤아웃을 사용하여 제어 입력을 최적화합니다. 모델의 구조적 ISS 보장은 시스템이 비선형성을 자극할 때에도 롤아웃 비용이 유계로 유지되도록 하여, 블랙박스 신경망 예측기로 흔히 발생하는 수치적 불안정성을 방지합니다.

3. 주요 기여

1. 정교화된 LMI 기준: 위르팅거 기반 이중 적분을 갖는 통합 LKF 를 사용하여 일반화된 페르시드스키 시스템에 대한 새로운 지연 의존적 ISS 기준을 제시하여, 최대 허용 지연에 대한 더 엄격한 경계를 도출했습니다.
2. 구조화된 관측기 설계: 부분 상태 측정을 갖는 시스템의 수렴을 보장하는 명시적 이득 조건을 가진 $H_\infty$ 관측기.
3. 안정성 보존 식별: 식별된 모델이 안정적임을 보장하기 위해 페르시드스키 ISS-LMI 를 제약으로 부과하는 새로운 쿠퍼만 식별 프로토콜.
4. 실험적 검증: 1.5 kW 영구 자석 동기 모터 (PMSM) 구동에 대한 포괄적 테스트를 통해 이론적 경계 및 제어 성능을 검증했습니다.

4. 실험 결과

이 프레임워크는 프로그래밍 가능한 부하 브레이크와 측정된 그룹 지연 $\tau = 5$ms 를 갖는 1.5 kW PMSM 테스트베드에서 검증되었습니다.

• 상태 추정 성능:
  • 페르시드스키 관측기는 표준 확장 칼만 필터 (EKF) 에 비해 속도 추정 Root Mean Square Error (RMSE) 를 35.3% 감소시켰습니다 (1.12 rad/s 대 1.73 rad/s).
  • 계단 부하 교란 후 더 빠른 과도 회복 (590ms 대 350ms) 을 보여주었습니다.
• 추적 성능:
  • ICODE-MPPI 제어기는 표준 벡터 제어 (FOC) 에 비해 속도 추적 정확도에서 67.1% 향상을 보였습니다.
  • 주기적 교란 하에서 안정성을 유지하고 위상 지연을 최소화함으로써 제약이 없는 신경망을 사용하는 "블랙박스"MPPI 보다 우수한 성능을 발휘했습니다.
• 지연 강인성:
  • 시스템은 인위적으로 주입된 18 ms의 지연까지 안정성을 유지했습니다.
  • 이는 이론적 LMI 로 예측된 18.2 ms의 경계와 밀접하게 일치했습니다.
  • 반면, 블랙박스 MPPI 는 약 14 ms 에서 안정성을 잃어, 안정성 보존 제약의 필요성을 강조했습니다.

5. 의의

본 논문은 엄격한 비선형 안정성 이론과 현대적인 데이터 기반 제어 간의 간극을 메웁니다. 그 의의는 다음과 같습니다:

• 이론과 실무의 연결: 이론적 지연이 없는 가정을 넘어, 실제 세계의 시간 지연과 모델 불확실성과 함께 작동하는 프레임워크를 제공합니다.
• 데이터 기반 제어의 안전성: 안정성 제약을 식별 과정에 직접 내장함으로써, 데이터 기반 모델이 정확할 수 있지만 극한 조건 하에서 불안정할 수 있는 "블랙박스"문제를 해결합니다.
• 성능 향상: PMSM 구동에 대한 실험 결과는 산업 표준 방법 (FOC 및 EKF) 에 비해 추정 정확도 및 추적 성능에서 실질적인 개선을 보여주어, 고성능 전자기계 시스템에 대한 이 접근법의 타당성을 입증합니다.
• 확장성: 대각선 리아푸노프 행렬과 구조화된 관측기의 사용은 이 방법이 중간 차원의 시스템에 대해 계산적으로 실행 가능함을 시사하며, 임베디드 구현에 적합하게 만듭니다.