이 논문은 확률적 이산 시간 동적 시스템의 유한 시간 안전성 및 도달-회피 검증 문제를 다룹니다.
안전성 검증 문제는 주어진 유한 시간 내에 시스템이 안전 집합을 벗어날 확률의 하한과 상한을 계산하는 것입니다. 도달-회피 검증 문제는 시스템이 주어진 유한 시간 내에 안전 집합 내에 머물면서 목표 집합에 도달할 확률의 하한과 상한을 계산하는 것입니다.
논문에서는 이 두 문제를 해결하기 위한 새로운 장벽 유사 충분 조건을 제안합니다. 이 조건들은 기존 조건을 보완하거나 공백을 메워 보다 엄밀한 확률 상한을 얻을 수 있게 합니다. 마지막으로 두 가지 수치 예제를 통해 제안된 조건의 효과를 입증합니다.
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Bai Xue kl. arxiv.org 04-30-2024
https://arxiv.org/pdf/2404.18118.pdfDybere Forespørgsler