Abstrakt. I detta dokument presenteras en ny metod för säkerhetskontroll av hybridsystem. För att bevisa att alla banor i ett hybridsystem inte kommer in i en osäker region använder den föreslagna metoden en funktion av staten som kallas ett barriärcertifikat. Nollnivåuppsättningen av ett barriärcertifikat skiljer den osäkra regionen från alla möjliga banor från en given uppsättning ursprungliga förhållanden, vilket ger ett exakt bevis på systemsäkerheten. Ingen explicit beräkning av nåbara uppsättningar krävs vid konstruktion av barriärcertifikat, vilket gör att icke-linjäritet, osäkerhet och begränsningar kan hanteras direkt inom denna ram. Metoden är också beräkningsbart, eftersom barriärcertifikat kan konstrueras med summan av kvadrater sönderdelning och semidefinit programmering. Några exempel ges för att illustrera användningen av metoden.
Barriärcertifikat har använts för säkerhetskontroll av hybridsystemen i REF.
Safety Verification of Hybrid Systems Using Barrier Certificates
{'venue': 'HSCC', 'journal': None, 'mag_field_of_study': ['Computer Science']}