Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

기술 요약: 이산 시간 불확실성 비선형 스위칭 시스템에 대한 집합의 흡인성 인증

문제 제기
본 논문은 스위칭 법칙이 결정 변수로 작용하는 이산 시간 불확실성 비선형 스위칭 시스템에 대해 집합의 강인한 국소 흡인성을 인증하는 과제를 다룹니다. 선형 및 불확실성이 없는 스위칭 시스템 (연속 시간 및 이산 시간 모두) 의 안정성 분석에 관한 방대한 문헌이 존재하며, 불확실성 선형 시스템을 다루는 연구도 일부 있지만, 불확실성 비선형 스위칭 시스템에 대해서는 여전히 중요한 미해결 과제로 남아 있습니다. 기존 리아푸노프 기반 방법론은 비선형 시스템에 적용하기가 종종 비자명하며, 불변 집합에 기반한 집합론적 접근법은 이러한 특정 클래스의 시스템에서 불확실성이 존재할 때 흡인성에 대한 일반적인 결과를 아직 제공하지 못했습니다.

방법론
저자들은 흡인성 보장 (AG)-함수라고 명명된 새로운 함수 클래스를 중심으로 한 프레임워크를 제안합니다. 방법론은 다음과 같은 논리적 단계를 거칩니다:

1. AG-함수의 정의: AG-함수는 제어 리아푸노프 함수 개념의 완화입니다. 이는 목표 집합 $\Omega$에서 소멸하고 특정 감소 조건을 만족하는 비음수 함수 $L: X \to \mathbb{R}_{\geq 0}$입니다. 구체적으로, 특정 레벨 집합 내의 상태에 대해서는 모든 가능한 불확실성 실현에 대한 함수 값의 상한이 집합 $\Omega$까지의 거리에 의존하는 마진만큼 감소하는 스위칭 모드가 존재해야 합니다.
2. 흡인성과의 이론적 연결: 본 논문은 집합 $\Omega$와 연관된 AG-함수의 존재가 해당 집합의 강인한 국소 흡인성을 보장함을 증명합니다 (명제 2).
3. 수축 집합을 통한 구성적 접근: 비선형 시스템에 대해 AG-함수를 직접 찾는 어려움에 대응하기 위해, 저자들은 **강인 제어 수축 집합 (RCCS)**을 기반으로 한 구성적 방법을 제안합니다. RCCS 는 모든 상태에 대해 모든 불확실성을 고려할 때 시스템을 집합의 내부로 유도하는 스위칭 모드가 존재하는 집합입니다.
4. 존재 증명: 저자들은 컴팩트한 RCCS 가 존재하면, 제어 가능한 집합을 통해 목표 집합에 도달하는 데 필요한 단계 수로 측정된 상태의 "거리"에 기반하여 조각상수 AG-함수를 명시적으로 구성할 수 있음을 보여줍니다 (명제 5).
5. 알고리즘적 구현:
   • 선형 시스템 (가법적 불확실성 포함) 의 경우, 저자들은 민코프스키 차분을 사용하여 강인 제어 가능 집합을 재귀적으로 계산하는 기존 알고리즘 (Fiacchini 및 Jungers, 2014) 을 적용하여 오프라인에서 안정화 스위칭 법칙을 계산할 수 있게 합니다.
   • 비선형 시스템의 경우, 제어 가능 집합을 근사화하고 격자 기반 접근법을 사용하여 수축 조건 ($\Omega \subset \text{int}_X(C(\Omega))$) 을 검증하는 수치적 절차가 제안됩니다.

주요 기여

• AG-함수의 도입: 본 논문은 기존 리아푸노프 함수보다 더 약한 요구 사항을 가지며, 스위칭으로 인한 불연속성을 수용하는 집합 흡인성 인증 도구로서 AG-함수를 정의합니다.
• 이론적 보장: 강인 제어 수축 집합 (RCCS) 의 존재 $\implies$ AG-함수의 존재 $\implies$ 집합의 강인한 국소 흡인성이라는 엄밀한 논리적 연결고리를 확립합니다.
• 구성적 방법: 논문은 RCCS 로부터 AG-함수를 생성하는 구체적인 방법을 제공하며, 강인 제어 가능 집합 ($C_k(\Omega)$) 의 단계 인덱스에 기반하여 함수를 정의합니다.
• 스위칭 법칙 합성: 목표 집합까지의 단계 인덱스를 최소화하는 모드를 선택하여 시스템 궤적이 흡인 영역 내에 머무르고 집합으로 수렴하도록 보장하는 명시적 안정화 스위칭 법칙이 유도됩니다 (식 16).
• 선형 및 비선형 검증: 이 프레임워크는 가법적 불확실성을 가진 선형 스위칭 시스템에서 검증되었으며, 비선형 사례 연구에도 적용되었습니다.

결과

• 선형 사례: 제안된 알고리즘은 경계 불확실성을 가진 선형 시스템에 대해 RCCS 와 안정화 스위칭 법칙을 성공적으로 식별했습니다. 한 예시에서, 이 방법은 불확실성이 없는 분석에서는 안정성을 시사했으나 불확실성의 존재로 인해 수축 집합 식별이 불가능했던 경우, 안정화 법칙을 식별하여 강인한 접근법의 필요성을 부각시켰습니다.
• 비선형 사례 연구 (항생제 내성): 본 프레임워크는 면역 반응과 항생제 치료 하의 박테리아 개체군 역학 (감수성 균주와 내성 균주) 의 이산 시간 모델에 적용되었습니다.
  • 저자들은 특정 초기 박테리아 부하 (예: 총 부하 $b_0 \leq 10,000$) 에 대해 RCCS 를 식별했습니다.
  • 수치 시뮬레이션은 이러한 부하에 대해 시스템이 매력적인 집합을 가지며, 이산화 및 모델 매개변수의 불확실성에도 불구하고 박테리아 개체군을 저부하 상태로 유도할 수 있음을 보여주었습니다.
  • 더 높은 초기 부하 ($b_0 = 120,000$) 의 경우, 수축 조건이 실패하여 고부하 박테리아에 대한 치료 프로토콜의 한계를 나타냈습니다.

의의 및 주장
본 논문은 불확실성 비선형 스위칭 시스템에서 집합 흡인성을 인증하는 첫 번째 일반적 결과를 제공한다고 주장합니다. 그 의의는 다음과 같습니다:

• 격차 해소: 집합론적 제어 방법을 선형/불확실성 없는 시스템에서 더 복잡한 불확실성 비선형 시스템 영역으로 확장합니다.
• 실용적 관련성: 항생제 내성 (AMR) 에 대한 적용은 생물학적 시스템, 특히 초기 박테리아 부하에 기반한 항생제 치료 프로토콜의 근본적 한계를 평가하는 데 있어 이 접근법의 유용성을 보여줍니다.
• 강인성: 방법론은 명시적으로 불확실성을 고려하여 모델 변동 및 이산화 오차에 강인한 점근적 안정성 및 제약 조건 만족의 기하학적 인증서를 제공합니다.

저자들은 현재 이 접근법이 국소 흡인성으로 제한되며, 오프라인에서 제어 가능 집합을 계산해야 하므로 일반적인 비선형 시스템에 대해 스위칭 법칙의 구성이 계산 집약적일 수 있다고 지적합니다. 향후 연구는 AG-함수 존재에 대한 덜 보수적인 조건과 성능 지향적 스위칭 전략에 초점을 맞춰야 한다고 제안합니다.