불확실성이 있는 동적 시스템에 대한 Lyapunov 안정성을 증명하는 방법을 개발하였다. 유한 개의 교란 샘플만 사용 가능한 경우, 분포 강건 Lyapunov 함수 유도 조건을 제안하였다.