Stability Analysis and Controller Design for a Linear System with Duhem Hysteresis Nonlinearity

기술 요약: Duhem 히스테리시스 비선형성을 갖는 선형 시스템의 안정성 분석 및 제어기 설계

문제 정의
본 논문은 선형 시스템과 Duhem 히스테리시스 연산자 간의 피드백 상호 연결에 대한 안정성 분석 및 제어 설계를 다룹니다. 히스테리시스는 피에조 액추에이터, 강자성체, 기계적 마찰 등 다양한 시스템에서 나타나는 보편적인 비선형성입니다. 다양한 모델(예: Preisach, backlash, elastic-plastic)이 존재하지만, 본 연구는 복잡한 입출력(I/O) 역학을 포착할 수 있는 능력을 갖춘 Duhem 연산자에 초점을 맞춥니다. 구체적으로, 저자들은 선형 플랜트와 히스테리시스 연산자가 모두 반시계 방향(CCW) 또는 시계 방향(CW) 입출력 역학을 보이는 경우를 조사합니다. 핵심 과제는 히스테리시스 연산자의 정밀한 파라미터 지식에 의존하는 대신, 그 구조적 입출력 특성에 기반하여 이러한 상호 연결된 시스템의 안정성 조건을 확립하고 제어기를 설계하는 것입니다.

방법론
저자들은 하위 시스템의 특정 입출력 특성으로부터 유도된 저장 함수(Lyapunov 함수)를 활용하는 소산성(dissipativity) 기반 접근 방식을 채택합니다.

1. 역학의 특성화:

   • CCW 역학: $\liminf_{T\to\infty} \int_0^T \langle \dot{y}(t), u(t) \rangle dt > -\infty$로 정의되는 부등식에 의해 정의됩니다. Duhem 연산자의 경우, 이는 $\frac{d}{dt}H^\circleleft \leq \dot{y}u$를 만족하는 저장 함수 $H^\circleleft$에 의해 특성화됩니다.
   • CW 역학: 쌍대 부등식 $\liminf_{T\to\infty} \int_0^T y(t)^T \dot{u}(t) dt > -\infty$에 의해 정의됩니다. Duhem 연산자의 경우, 이는 $\frac{d}{dt}H^\circleright \leq y\dot{u}$를 만족하는 저장 함수 $H^\circleright$에 의해 특성화됩니다.
   • 본 논문은 CCW 또는 CW 특성을 보장하는 Duhem 함수 $f_1$ 및 $f_2$(특히 anhysteresis 함수 $f_{an}$ 및 traversing function과 관련된)에 대한 조건을 검토합니다.

2. 상호 연결의 안정성 분석:
   본 논문은 선형 시스템 $P$와 Duhem 연산자 $\Phi$ 사이의 네 가지 별개 상호 연결 사례를 분석합니다(원문의 표 I에 요약됨).

   • 사례 (a): $P$와 $\Phi$가 모두 CCW인 경우 (양의 피드백). 안정성은 선형 시스템의 이차 형식과 Duhem 저장 함수 $H^\circleleft$를 포함하는 합성 Lyapunov 함수를 사용하여 증명됩니다. 조건은 anhysteresis 함수 $f_{an}$의 섹터 경계(sector bound)에 따라 달라집니다.
   • 사례 (b): $P$는 CW이고 $\Phi$는 CCW인 경우 (음의 피드백). 안정성은 $\Phi$의 특정 파라미터와 무관하게 $\Phi$의 CCW 특성에만 의존하는 선형 행렬 부등식(LMI)을 통해 확립됩니다.
   • 사례 (c): $P$는 CCW이고 $\Phi$는 CW인 경우 (음의 피드백). 안정성은 선형 시스템의 S-CCW 성질과 Duhem 저장 함수 $H^\circleright$를 사용하여 증명됩니다.
   • 사례 (d): $P$와 $\Phi$가 모두 CW인 경우 (양의 피드백). 안정성은 확장 상태 공간 표현과 LMI를 사용하여 분석되며, $f_1$ 및 $f_2$에 대한 경계값을 요구합니다.

3. 제어기 설계:
   안정성 정리에 기초하여, 저자들은 제어 설계 방법론을 제안합니다. 제어기 $C$는 직렬 연결된 선형 시스템(플랜트 + 제어기)이 해당 상호 연결 사례에 필요한 특정 LMI 또는 대수적 조건을 만족하도록 설계됩니다. 이를 통해 히스테리시스 연산자를 역함수로 취하지 않고도 안정화를 달성할 수 있습니다.

주요 기여 및 결과

• 충분한 안정성 조건: 본 논문은 Duhem 히스테리시스를 포함하는 폐루프 시스템에 대한 엄격한 충분 조건을 제공합니다. 이러한 조건은 플랜트와 히스테리시스 연산자의 CCW/CW 성격에 따라 분류됩니다.
• Lyapunov 구성: 각 상호 연결 사례에 대해 선형 시스템의 에너지와 Duhem 연산자의 저장 함수($H^\circleleft$ 또는 $H^\circleright$)를 결합한 명시적인 Lyapunov 함수 구성을 제공합니다.
• 제어기 합성: 히스테리시스 액추에이터 또는 센서를 갖는 선형 플랜트를 위한 제어기 설계 알고리즘을 체계적으로 제시합니다. 이 방법은 정밀한 히스테리시스 모델링이나 역보상(inverse compensation)을 피하면서 LMI 또는 대수적 부등식을 푸는 것에 의존합니다.
• 수치적 검증: 이론적 결과는 CCW(피에조 유사) 및 CW(마찰 유사) 히스테리시스 액추에이터를 모두 갖춘 질량-댐퍼-스프링 시스템을 포함하는 수치 예제를 통해 검증되었습니다. 시뮬레이션은 설계된 제어기가 시스템을 성공적으로 안정화하여 속도를 0으로, 위치를 상수로 유도함을 보여줍니다.

의의 및 주장
저자들은 본 연구가 히스테리시스를 가진 시스템을 제어하기 위한 차별화된 패러다임을 제공한다고 주장합니다. 히스테리시스 역연산자를 정의하여 비선형성을 제거하려는 전통적인 접근 방식과 달리, 이 방법은 히스테리시스의 내재적인 소산적 성질(CCW 또는 CW)을 활용합니다. 결과적으로, 제어 설계는 히스테리시스 연산자의 정밀한 파라미터 정보가 아닌, 그들의 질적인 입출력 역학만을 필요로 합니다. 저자들은 이 소산성 접근 방식이 CCW 역학을 보이는 비선형 플랜트로도 확장될 수 있어, 선형 시스템을 넘어 적용 범위를 넓힐 수 있다고 단언합니다. 본 연구는 음의 허수(negative imaginary) 시스템과 CCW 시스템의 상호 연결에 관한 기존 결과들을 바탕으로 하며, 이러한 개념을 CW 역학 및 Duhem 연산자의 특정 구조까지 포함하도록 확장하였습니다.