고정 구조 컨트롤러를 이용한 선형 시스템 피드백 패시베이션 최적 설계

본 논문은 선형 시불변(SISO) 시스템에 대해, 파라미터가 선형 결합 형태로 표현되는 고정 구조(예: PID) 컨트롤러를 사용해 폐루프 시스템의 패시비티 수준을 최적화하는 새로운 설계 방법론을 제시한다. 연구는 크게 네 부분으로 구성된다. 1. **문제 설정 및 사전 지식** - 시스템은 연속시간(CT) 혹은 이산시간(DT) 형태이며, 입력‑출력 관계는 전송함수 G₀(s) 또는 G₀(z) 로 주어진다. - 컨트롤러는 C(s,ρ)=ρᵀ \bar C(s) (또는 C(z,ρ)=ρᵀ \bar C(z)) 와 같이 파라미터 ρ∈ℝᵖ 에 대해 선형적으로 정의된다. 파라미터 제약 집합 P 은 구간 박스 형태로 가정한다. - 패시비티는 입력‑피드포워드(I​FP)와 출력‑피드백(O​FP) 지수로 정량화한다. I​FP ν는 최소 실수부(실제 부분) 고유값의 절반, O​FP ξ는 역전달 함수의 실수부 고유값 절반으로 정의된다. 2. **안정성 검증을 위한 SOS‑SDP 접근** - 폐루프 전달함수 G(s,ρ)=G₀(s)/(1+G₀(s)C(s,ρ)) 의 분모 다항식 p_D(s,ρ) (또는 p_D(z,ρ)) 의 계수가 ρ에 대해 선형이다. - 연속시간에서는 수정된 Routh‑Hurwitz 표, 이산시간에서는 수정된 Jury 표를 사용해 첫 열에 위치한 다항식 f_i(ρ) 가 양수이면 시스템이 안정함을 보인다. - 각 f_i(ρ) 를 g_i(ρ)=f_i(ρ)−θ·∑_j s_{ij}(ρ)c_j(ρ) 형태로 변형하고, g_i(ρ)−θ 가 SOS(합의 제곱) 다항식이 되도록 θ>0 과 SOS 다항식 s_{ij}(ρ) 을 찾는 LMI 문제를 구성한다. - 최적화 문제 max θ s.t. g_i(ρ)−θ ∈ SOS, s_{ij}(ρ) ∈ SOS (i=1…n+1, j=1…p) 를 풀어 θ*>0 이면 모든 ρ∈P 에 대해 안정성이 보장된다. 이는 필요충분 조건이다. 3. **패시비티 지수의 전역 최적화** - 안정성 제약을 만족하는 ρ 집합을 확보한 뒤, I​FP ν 또는 O​FP ξ를 직접 목적함수로 설정한다. - ν와 ξ는 각각 min_ω λ_min(G(jω)+G*(jω))/2 또는 min_ω λ_min(G⁻¹(jω)+G⁻¹*(jω))/2 와 같은 형태이며, 이는 다항식의 실수부 행렬에 대한 최소 고유값을 구하는 문제와 동등하다. - 고유값 하한을 SOS 형태로 근사하고, 이를 선형(또는 볼록) 목적함수와 결합해 SDP를 구성한다. 최적해 ρ* 는 주어진 고정 구조 내에서 패시비티 지수를 최대화하는 파라미터이다. 4. **수치 예제 및 실험 결과** - 연속시간 2차 시스템에 PID 컨트롤러를 적용하고, 제안된 SDP를 통해 최적 ν와 ξ를 구한다. 기존 무구조 최적 설계와 비교했을 때 ν와 ξ가 각각 약 30% 와 25% 향상되었으며, 안정성 마진(루트 위치)도 크게 확대된다. - 이산시간 3차 시스템에 2차 고정 구조 컨트롤러를 적용한 사례에서도 동일한 경향이 확인된다. 특히, 파라미터 제약 P 이 좁은 경우에도 SOS‑SDP가 해를 찾는 데 성공하며, 전역 최적성을 보장한다는 점이 강조된다. 5. **논문의 의의와 한계** - 고정 구조 컨트롤러(특히 PID) 설계에 대한 전통적 접근은 구조 제약 때문에 비선형 최적화가 필연적이었으나, 본 연구는 이를 SOS‑SDP라는 선형(볼록) 형태로 변환함으로써 전역 최적 해를 효율적으로 구한다. - 안정성 검증과 패시비티 최적화를 동일한 프레임워크 내에서 다루어, 설계 흐름을 단순화하고 계산 복잡도를 크게 낮춘다. - 한계점으로는 SOS 차수 선택에 따라 LMI 규모가 급증할 수 있으며, 고차 시스템이나 다중입출력(MIMO) 확장 시 추가적인 구조적 변형이 필요할 수 있다. 결론적으로, 이 논문은 고정 구조 컨트롤러를 사용하면서도 폐루프 시스템의 패시비티를 전역적으로 최적화할 수 있는 실용적인 수학적 도구(SOS‑SDP)를 제공한다. 이는 산업 현장에서 널리 쓰이는 PID와 같은 제한된 구조의 컨트롤러 설계에 직접 적용 가능하며, 안정성·성능·구조 제약을 동시에 만족시키는 새로운 설계 패러다임을 제시한다.