강인성 불변성을 위한 다항 시스템 제어 합성 및 선형계획법

초록

본 논문은 다항 형태의 비선형 시스템에 대해 입력 제약과 유한 구간 교란을 고려한 강인 불변 집합과 제어기를 동시에 설계하는 방법을 제시한다. 후보 다각형 불변 집합을 정하면, 제어기 파라미터를 다항 템플릿으로 두고, 다항 비용 함수를 다각형 위에서 최소화하는 문제를 라그랑주 이중을 이용한 선형계획(LP) 완화로 변환한다. 이후 불변 집합의 면 위치 파라미터와 제어기 파라미터를 교대로 업데이트하는 두 단계 LP 반복 알고리즘을 제안한다. 각 단계는 표준 LP만 풀면 되므로 계산량이 크게 늘어나지 않으며, 수치 예제로 방법의 실효성을 입증한다.

상세 분석

이 논문은 기존의 다항 시스템 최적 제어 연구가 주로 안정화나 비용 최소화에 초점을 맞춘 반면, 상태와 입력에 대한 다각형 제약, 그리고 교란에 대한 강인성을 동시에 만족시키는 불변 집합 설계라는 새로운 문제 설정을 도입한다. 핵심 아이디어는 두 가지 템플릿을 정의하는 것이다. 첫째, 불변 집합 P는 고정된 법선 벡터 집합 {γ_k}와 변수 η_k 로 표현되는 다각형 형태이며, 이는 P ⊆ ℙ ⊆ ℙ 라는 포함 관계를 만족하도록 η_k 를 조정한다. 둘째, 제어기 h(x)=H(x)θ는 다항 행렬 H(x)와 파라미터 벡터 θ 로 구성된다. 입력 제약 U는 모든 x∈ℝ_X에 대해 α_U,l·H(x)θ ≤ β_U,l 로 선형 부등식 형태로 변환된다.

시스템 동역학 ˙x = f(x,d)+g(x,d)h(x) 를 θ 로 선형화하면 ˙x = f(x,d)+G(x,d)θ 가 된다. 여기서 G(x,d)=g(x,d)H(x) 역시 다항식이다. 불변성 조건 γ_k·(f+Gθ) ≤ 0 를 각 면 F_k 에 대해 모든 x∈F_k, d∈D 에 대해 만족시켜야 하는데, 이는 다항식의 최댓값을 구하는 비선형 최적화 문제이다. 저자들은 다항식의 블라썸(blossom) 변환을 이용해 다항식을 다변수 다중선형 함수로 바꾸고, 라그랑주 이중을 취하면 최적값의 하한을 제공하는 선형계획 문제로 전환한다. 구체적으로, 블라썸 q(z) 는 다항식 p(y) 와 동등하지만 변수 수가 늘어나고 각 변수는 원래 변수의 복제본이다. 블라썸의 대각선 성질과 다중선형성으로 인해 원래 다항식의 최소값은 블라썸의 정점값 최소와 동일함을 이용한다.

이때 얻어지는 LP는 두 종류가 있다. (1) 입력 제약을 만족시키는 θ 를 찾는 LP(제어기 합성 단계)와 (2) 현재 η_k 로 정의된 불변 집합이 실제로 면을 차단(block)하는지를 검증하고, 차단되지 않은 면에 대해 η_k 를 조정하는 LP(불변 집합 업데이트 단계)이다. 두 단계는 각각 독립적인 LP이며, 반복 수행을 통해 η와 θ 가 동시에 수렴하도록 설계된다. 수렴성에 대한 엄밀한 증명은 없지만, 민감도 분석을 통해 각 LP의 최적해가 이전 단계의 파라미터에 연속적으로 의존함을 보이며, 실험적으로는 몇 차례 반복만에 만족 가능한 해를 얻는다.

또한, 논문은 블라썸 기반 LP 완화가 기존의 SOS(합성곱) 방법보다 계산량이 적고, 다항식 차수가 높아도 정점 수가 다각형의 정점 수에만 의존하므로 고차 시스템에도 적용 가능함을 강조한다. 다만, 템플릿 선택(법선 집합 γ_k 와 H(x)의 다항 차수)과 초기 η 설정이 결과에 큰 영향을 미치며, 이는 사용자가 문제 도메인 지식에 기반해 적절히 설계해야 함을 시사한다.

전체적으로 이 연구는 다항 비선형 시스템에 대한 강인 불변성 설계 문제를 선형계획이라는 효율적인 최적화 도구로 매핑함으로써, 기존의 비선형 최적화에 비해 계산 복잡도를 크게 낮추고, 실제 제어 설계에 적용 가능한 프레임워크를 제공한다는 점에서 큰 의의를 가진다.