Abstract-This paper presenterar en metod för säkerhetskontroll av kontinuerliga och hybrida system i värsta fall och stokastiska inställningar. I värsta fall används en funktion av tillståndsbenämnt barriärcertifikat för att intyga att alla banor i systemet från en given första uppsättning inte går in i en osäker region. Ingen explicit beräkning av nåbara uppsättningar krävs vid konstruktion av barriärcertifikat, vilket gör det möjligt att hantera icke-linjäritet, osäkerhet och begränsningar direkt inom denna ram. I den stokastiska inställningen beräknar vår metod en övre gräns på sannolikheten att en bana i systemet når den osäkra uppsättningen, en gräns vars giltighet bevisas av förekomsten av ett barriärcertifikat. För polynomiska system kan barriärcertifikat konstrueras med konvex optimering, och därför är metoden beräkningsbar. Några exempel ges för att illustrera användningen av metoden.
Beräkningen av barriärcertifikat är utmanande och ofta beräknings dyrt REF.
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
{'venue': 'IEEE Transactions on Automatic Control', 'journal': 'IEEE Transactions on Automatic Control', 'mag_field_of_study': ['Mathematics', 'Computer Science']}