이 논문은 합리적 동역학을 가진 연속 시간 시스템의 상태 함수 첨두 값을 상한하는 알고리즘을 제시한다. 유한 차원이지만 비볼록한 첨두 추정 문제를 점유 측도를 이용한 볼록 무한 차원 선형 프로그램으로 변환한다. 이 무한 차원 프로그램은 모멘트-SOS 계층을 이용하여 유한 차원으로 축소된다.