[논문 리뷰] Homographic scheme for Riccati equation

François Dubois, Abdelkader Saïdi|arXiv (Cornell University)|2011. 01. 11.

Nonlinear Waves and Solitons참고 문헌 10인용 수 3

한 줄 요약

이 논문은 최적 제어 문제에서 나타나는 행렬 리카티 방정식을 해결하기 위한 동형 수치적 스킴을 제안한다. 이 방법은 조건부 안정성 없이 안정적이며, 각 시간 단계에서 해의 정규성 양성을 유지하고, 스칼라 경우에서 수렴성이 입증되어 있으며, 수치 실험을 통해 기존의 명시적 스킴이 실패하는 경우에도 안정성과 강건성을 확인하였다.

ABSTRACT

In this paper we present a numerical scheme for the resolution of matrix Riccati equation, usualy used in control problems. The scheme is unconditionnaly stable and the solution is definite positive at each time step of the resolution. We prove the convergence in the scalar case and present several numerical experiments for classical test cases.

연구 동기 및 목표

• 최적 제어 문제에서 행렬 리카티 방정식을 위한 기존 스킴에서 발생하는 수치적 불안정성과 정규성 양성 상실 문제를 해결한다.
• 모든 시간 단계에서 해의 정규성 양성 성질을 유지하는 안정적인 암시적 수치적 방법을 개발한다.
• 스칼라 경우에서 조건부 안정성과 수렴성을 확보하고, 이를 행렬 경우로 확장하여 단조성과 장기적으로 대수적 리카티 해에 수렴하는 성질을 확보한다.
• 명시적 스킴이 실패하는 어려운 테스트 케이스(예: 파동 방정식, 진동자 시스템)에서의 강건성을 입증한다.
• 향후 연구를 위한 기반을 마련하여, 행렬 경우에서의 수렴성 증명과 고차 다단계 변형의 구축을 가능하게 한다.

제안 방법

• 행렬 리카티 방정식을 안정적인 시간 적분에 적합한 형태로 재구성하기 위해 동형 변환을 제안한다.
• 각 시간 단계에서 선형 시스템을 풀어야 하는 암시적 시간 이산화를 사용하여 조건부 안정성을 보장한다.
• 해의 행렬의 정규성 양성을 유지하기 위해 스칼라 매개변수 μ를 도입한다.
• 스칼라 및 행렬 리카티 방정식 모두에 이 스킴을 적용하고, 에너지 추정을 통해 스칼라 경우에서의 수렴성을 입증한다.
• L2-직교 기저 함수를 사용하여 무한차원 제어 문제(예: 파동 방정식)를 유한차원 스펙트럼 모드로 투영한다.
• 상태 차원을 두 배로 늘여 2차 미분 방정식을 리카티 해법에 적합한 1차 미분 방정식 시스템으로 변환하는 1차 시스템 형태를 적용한다.

실험 결과

연구 질문

• RQ1 행렬 리카티 방정식을 위한 수치적 스킴을 구성할 수 있는가? 이 스킴은 조건부 안정성 없이 해의 정규성 양성을 보장할 수 있는가?
• RQ2 제안된 동형 스킴은 스칼라 경우에서 수렴하는가? 그 수렴 성질은 어떠한가?
• RQ3 파동 방정식이나 차량의 열차 제어와 같은 강건하거나 조건이 나쁜 제어 문제에서, 명시적 스킴이 실패하는 상황에서 이 스킴은 어떻게 성능을 발휘하는가?
• RQ4 시간이 증가함에 따라 이산 해의 장기적 성질은 어떠한가? 특히 대수적 리카티 해에 수렴하는 경향은 어떠한가?
• RQ5 다단계 공식화를 통해 이 스킴을 제2차 정확도로 확장할 수 있는가?

주요 결과

• 동형 스킴은 조건부 안정성 없이 안정적이며, 모든 시간 단계에서 해 행렬의 정규성 양성을 유지한다.
• 스칼라 경우에서 이 스킴은 에너지 기반 분석을 통해 수렴성이 입증되었다.
• 행렬 경우에서는 이산 해가 단조성을 보이며, 시간이 무한히 증가함에 따라 대수적 리카티 해에 수렴한다.
• N=10 모드(2N=20) 및 Δt=0.01 조건에서 파동 방정식에 대한 수치 실험 결과, 안정성이 확보되었으며, 명시적 2단계 룬게-쿠타 스킴은 불안정해졌다.
• 항상 큰 매개변수 변화에 대해 강건성을 유지하였으며, 조화 진동자 및 차량의 열차 제어를 포함한 테스트 케이스에서 이를 입증하였다.
• 기존의 명시적 스킴이 실패하는 상황에서도 정규성 양성 해를 성공적으로 계산하여, 제어 응용 분야에서 실용적 유용성을 확인하였다.