해밀턴-야코비 도달 가능성
동적 시스템이 특정 시간 내에 위험 지역에 도달하지 않고 안전하게 머무를 수 있는 상태 집합을 계산하는 제어 이론적 방법론이다. 최악의 상황에 대한 수학적 안전 보장을 제공하는 데 핵심적인 역할을 한다.