Abstract-This paper studerar problemet med att upprätthålla säkerheten i ett stokastiskt dynamiskt system över en ändlig tidshorisont. Vi använder stokastiska barriärfunktioner som ett sätt att kvantifiera sannolikheten för att ett system lämnar en given säker region av tillståndet utrymme i ändlig tid. Ett barriärcertifikatvillkor som begränsar systemets oändliga minigenerator, och därmed begränsar barriärfunktionens förväntade värde över tidshorisonten, omarbetas som ett optimeringsproblem för summering för effektiv numerisk beräkning. Till skillnad från tidigare arbeten innehåller det föreslagna certifikatvillkoret ett tillståndsberoende som är bundet till den oändligt små generatorn, vilket möjliggör strängare sannolikhetsgränser. Dessutom, för stokastiska system för vilka drivdynamiken är affine-in-control, föreslår vi en metod för att syntetisera polynomiska återkopplingsregulatorer som uppnår en specificerad sannolikhet för säkerhet. Två fallstudier presenteras som riktmärke och illustrerar hur vår metod fungerar.
Verifieringen och kontrollen av en ändlig säkerhetsfastighet för kontinuerliga stokastiska system med barriärfunktioner presenterades nyligen i REF.
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
{'venue': '2019 IEEE Conference on Control Technology and Applications (CCTA)', 'journal': '2019 IEEE Conference on Control Technology and Applications (CCTA)', 'mag_field_of_study': ['Computer Science', 'Mathematics']}