Abstract-Vi utvecklar en ny metod för säkerhetskontroll av stokastiska system baserat på funktioner i tillstånd som kallas barriärcertifikat. Med tanke på ett stokastiskt kontinuerligt eller hybridsystem och uppsättningar av initiala och osäkra tillstånd beräknar vår metod en övre gräns för sannolikheten för att en bana i systemet når den osäkra uppsättningen, en gräns vars giltighet bevisas genom förekomsten av ett barriärcertifikat. För polynomsystem kan både det övre och det motsvarande barriärcertifikatet beräknas med hjälp av konvex optimering, och därför kan metoden beräknas.
En metod för säkerhetskontroll baserad på över tillnärmning av den säkra uppsättningen med hjälp av barriärcertifikat har tagits fram i REF.
Stochastic safety verification using barrier certificates
{'venue': '2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)', 'journal': '2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)', 'mag_field_of_study': ['Computer Science']}