[논문 리뷰] Stabilization of Integral Difference Equations by solving a Corona problem

Adam Braun, Jean Auriol외 1명|arXiv (Cornell University)|2026. 03. 19.

Stability and Control of Uncertain Systems인용 수 0

한 줄 요약

Corona 문제에 연결된 컨볼루션 방정식을 풀어 스칼라 입력을 갖는 벡터값 IDE에 대한 명시적 상태 피드백 제어기를 제안하고, 안정화 가능 조건하에 지수적 안정화를 달성한다.

ABSTRACT

This paper proposes a stabilizing state-feedback control law for vector-valued state systems with a scalar control input, governed by a general class of integral difference equations that incorporate both pointwise and distributed input delays. The proposed controller is expressed through integral operators acting on the state and input histories over a finite time horizon. Closed-loop stability is established by characterizing the controller kernels as solutions to a convolution equation arising from a Corona problem. The existence of such solutions is ensured under a suitable spectral stabilizability condition, and a least-square procedure is implemented to find them numerically. The approach extends existing IDE stabilization results to more general settings, allowing for arbitrary numbers of pointwise delays affecting both the state and input, without requiring commensurability assumptions.

연구 동기 및 목표

• 다중 지연이 있는 벡터 값 상태에 대한 IDE 안정화를 일반화한다.
• 분산 지연이 존재하는 경우에 제어 가능성(controllability)을 안정화 가능성(stabilizability) 조건으로 완화한다.
• Corona 문제와 컨볼루션 방정을 통해 제어기 설계를 수립한다.
• 제어기 커널을 계산하기 위한 최소제곱 수치 절차를 제공한다.
• 동일 간격 지연 설정을 넘어서는 강건성과 적용성을 입증한다.

제안 방법

• IDE를 라플라스 도메인 대수 형태로 변환하여 상태 및 입력 이력 사이를 연결하는 컨볼루션 방정식을 식별한다.
• 확정될 커널을 가진 동적 자기회귀(AR) 제어 법칙을 구성한다.
• 하디 공간에서의 Corona 문제를 설정하여 허용 오차 이내로 타깃 함수를 근사하는 제어기 커널을 찾는다.
• 스펙트럴 안정화 조건하에서 Corona 문제의 해가 지수적 안정성을 보장한다는 것을 증명한다.
• 이산화된 측정으로부터 커널을 계산하기 위한 최소제곱 수치 해법을 제시한다.
• 이 방법이 동등 지연 가정 없이 다중 지연 벡터 값 설정으로 안정화 결과를 확장함을 보여준다.

실험 결과

연구 질문

• RQ1 제어 가능성(controllability) 대신 안정화 가능성(stabilizability) 하에서 다중 지점 및 분산 지연이 있는 벡터 값 IDE에서 지수적 안정화를 달성할 수 있는가?
• RQ2 Corona 문제에서 유래한 컨볼루션 방정식의 해로 제어기 커널을 어떻게 특징 지을 수 있는가?
• RQ3 안정화 커널의 존재를 보장하는 스펙트럴 조건은 무엇이며 이를 수치적으로 어떻게 계산할 수 있는가?
• RQ4 결과 제어기가 commensurate 지연 및 단일 입력 스칼라 케이스를 넘어 일반화되는가?

주요 결과

• 가정 1 및 2 하에서 닫힌 루프 IDE를 지수적으로 안정시키는 컴팩트하게 지지된 L2 커널 g와 f가 존재한다.
• 안정성은 Hardy 공간에서의 Corona 문제에 해당하는 컨볼루션 방정식을 푸는 것으로 달성된다.
• Corona 기반 형식은 제어기 커널의 최소제곱 계산을 가능하게 하는 상사 매핑(surjective mapping)을 제공한다.
• 이 방법은 임의의 수의 지연을 가진 벡터 값 상태를 수용하며 공분격 지연 가정이 필요하지 않다.
• Corona 방정식의 최소제곱 이산화에 기반한 수치 절차는 시뮬레이션에서 빠른 수렴을 보이는 이득을 산출한다.