내리막길의 미학: 리아푸노프의 두 가지 안정성 분석 방법

동적 시스템의 평형점 근처 동작을 분석하기 위해 전통적으로 테일러 급수를 이용한 선형화 방법이 사용되어 왔으나, 근사 오차 계산의 복잡성이라는 한계가 존재한다. 리아푸노프는 이를 해결하기 위해 시스템의 '에너지'가 시간에 따라 감소함을 보여 안정성을 증명하는 '전위 함수 방법'을 제시했다. 이 방법은 특정 조건을 만족하는 전위 함수를 찾는 과정을 제약 조건 만족 문제로 전환시켜 컴퓨터를 통한 자동화된 탐색을 가능하게 한다. 특히 선형 행렬 부등식(LMI)과 볼록 최적화를 활용하여 불확실한 시스템에서도 강건한 안정성을 증명할 수 있는 강력한 프레임워크를 제공한다.