운영 제한 하 비선형 시스템의 수동성 및 수동성 지수 분석

본 논문은 물리 시스템이 갖는 입력·상태 제한(운영 제한)이 시스템의 입력‑출력 거동에 미치는 영향을 정량적으로 분석하고, 이를 기반으로 비선형 시스템의 지역 수동성(local passivity) 및 수동성 지수(passivity indices)를 도출하는 새로운 방법론을 제시한다. 1) 서론에서는 물리적 제약이 존재하는 로봇 팔, 전력 시스템 등에서 전통적인 전역 수동성 분석이 충분하지 않음을 지적하고, 지역적인 소산 부등식과 수동성 개념을 도입한다. 2) 기본 이론 섹션에서는 연속시간 시스템 \dot x = f(x,u), y = h(x,u) 에 대해 저장 함수 V(x)와 공급률 w(u,y) = uᵀy 를 이용한 QSR‑소산성 정의와, 이를 특수화한 수동성, 입력 피드포워드(IFP), 출력 피드백(OFP) 지수 개념을 정리한다. 3) 지역 수동성 정의에서는 입력 집합 U와 상태 집합 X를 명시적으로 제한하고, 모든 admissible 입력에 대해 상태 궤적이 X 내에 머무를 때만 소산 부등식이 성립하도록 한다. 이를 통해 기존의 “모든 초기조건에 대해”라는 전역 조건을 완화한다. 4) 논문의 핵심은 두 가지 다항식 근사 기법이다. 첫 번째는 Taylor 전개를 이용해 시스템을 고차 다항식으로 근사하고, 오차 항을 타원형 상한으로 묶는다. 정리 2는 공급률 w에 대한 소산 부등식을 만족시키는 다항식 저장 함수 V와 오차 상한을 동시에 만족하는 SOS 제약을 제시한다. 차수가 커질수록 변수 수가 급증하는 문제를 해결하기 위해 정리 3에서 오차 타원체를 이용해 제어·상태 공간을 제한하고, 최적화 차원을 감소시키는 방법을 제안한다. 두 번째는 다변량 Bernstein 다항식을 활용한다. Stone‑Weierstrass 정리를 기반으로 임의의 연속함수를 원하는 정확도로 근사할 수 있음을 이용하고, Lipschitz 연속성을 가정해 오차를 간단히 상한한다. 정리 5와 6은 Bernstein 근사계수를 이용해 QSR‑소산성 및 지역 안정성을 검증하는 SOS 조건을 제공한다. 두 접근법 모두 SOS(합의 제곱) 프로그램을 통해 자동화된 검증이 가능하도록 설계되었다. 5) 이후 섹션에서는 지역 수동성 지수를 구하는 절차를 제시한다. OFP 지수는 정리 10의 형태로, 입력‑출력 곱에 추가적인 ρ yᵀy 항을 넣어 시스템이 여전히 소산성을 유지하도록 하는 최대 ρ 값을 찾는 문제로 변환된다. IFP 지수도 유사하게 ν uᵀu 항을 포함한 최적화 문제로 정의된다. 6) 논문 말미에서는 두 개의 예제(비선형 1차 시스템 및 2차 로봇 팔 모델)를 통해 제안된 방법을 실험적으로 검증한다. Taylor 기반 방법은 차수가 3~4일 때 정확도가 높지만 최적화 변수 수가 수백 개에 달한다. Bernstein 기반 방법은 차수가 2~3이면 충분히 정확하면서 변수 수가 수십 개에 머물러 계산 효율이 크게 향상된다. 두 예제 모두 제한된 입력·상태 구역 U, X 내에서 실제 시스템이 제시된 지역 수동성 및 OFP/IFP 지수를 만족함을 확인한다. 7) 결론에서는 본 연구가 비선형 시스템의 지역 수동성 분석에 실용적인 도구를 제공함을 강조하고, 향후 고차 비선형성, 시간‑가변 제한, 그리고 데이터‑기반 근사와의 결합을 통한 확장 가능성을 제시한다.