알려지지 않은 비선형 시스템의 도달 가능 집합을 보장된 방식으로 계산하는 방법을 제시한다. 이를 위해 시스템의 국소 동역학과 리만 리프시츠 경계를 활용하여 보장된 속도 집합을 구하고, 이를 통해 보장된 도달 가능 집합을 계산한다.