Key points are not available for this paper at this time.
이 논문에서는 측정 가능한 교란이 있는 상태에서 일반 미분 방정식으로 표현된 연속 시간 섭동 결정론적 시스템의 유한 시간 안전성을 검증하는 문제를 조사합니다. 유한한 시간 수평이 주어지면, 시스템이 안전하다면 압축된 초기 집합에서 시작하여 지정된 시간 수평 내내 교란과 관계없이 열린 경계의 안전 지역 내에 유지됩니다. 이 작업의 주요 기여는 시스템이 안전할 때만 존재하는 시간 의존 장벽 증명서를 밝혀내는 것입니다. 이 장벽 증명서는 다음 조건을 충족합니다: 초기 시간 순간의 초기 집합에 대한 음성, 안전 집합의 경계에 대한 비음성, 그리고 지정된 유한 시간 수평에 따른 시스템 동역학을 따라 비증가하는 행동. 존재 문제는 고유한 리프시츠 점성 해를 가지는 해밀턴-자코비 미분 방정식을 사용하여 탐구됩니다.
Li et al. (Mon,)은 이 질문을 연구했습니다.