Keskeiset käsitteet
이 논문은 확률적 이산 시간 동적 시스템의 유한 시간 안전성 및 도달-회피 검증을 연구합니다. 안전 집합 내에서 시작하는 시스템이 주어진 유한 시간 내에 안전 집합을 벗어나거나 목표 집합에 도달할 확률의 하한과 상한을 결정하는 것이 목표입니다. 이를 위해 새로운 장벽 유사 충분 조건을 제안하며, 이는 기존 조건을 보완하거나 공백을 메웁니다.
Tiivistelmä
이 논문은 확률적 이산 시간 동적 시스템의 유한 시간 안전성 및 도달-회피 검증 문제를 다룹니다.
안전성 검증 문제는 주어진 유한 시간 내에 시스템이 안전 집합을 벗어날 확률의 하한과 상한을 계산하는 것입니다. 도달-회피 검증 문제는 시스템이 주어진 유한 시간 내에 안전 집합 내에 머물면서 목표 집합에 도달할 확률의 하한과 상한을 계산하는 것입니다.
논문에서는 이 두 문제를 해결하기 위한 새로운 장벽 유사 충분 조건을 제안합니다. 이 조건들은 기존 조건을 보완하거나 공백을 메워 보다 엄밀한 확률 상한을 얻을 수 있게 합니다. 마지막으로 두 가지 수치 예제를 통해 제안된 조건의 효과를 입증합니다.
Tilastot
시스템 (1)의 상태 x(l+1) = f(x(l), θ(l))에서 θ(l)은 i.i.d. 확률 벡터입니다.
안전 집합 X와 목표 집합 Xr이 주어집니다.
유한 시간 구간 [0, N]이 주어집니다.
Lainaukset
"이 논문은 확률적 이산 시간 동적 시스템의 유한 시간 안전성 및 도달-회피 검증 문제를 다룹니다."
"논문에서는 이 두 문제를 해결하기 위한 새로운 장벽 유사 충분 조건을 제안합니다."
"이 조건들은 기존 조건을 보완하거나 공백을 메워 보다 엄밀한 확률 상한을 얻을 수 있게 합니다."