Ett barriärcertifikat kan separera tillståndsutrymmet för ett betraktat hybridsystem (HS) till säkra och osäkra delar enligt den säkerhetsdel som ska kontrolleras. Detta begrepp har därför i stor utsträckning använts vid kontrollen av HS. Ett starkare villkor på barriärcertifikat innebär att mindre expressiva barriärcertifikat kan syntetiseras. Å andra sidan innebär syntetisering av mer uttrycksfulla barriärcertifikat ofta hög komplexitet. I [9], Kong et al överväga hur man slappnar av tillståndet för barriärcertifikat samtidigt behålla sin konvexitet så att man kan syntetisera mer expressiva barriärcertifikat effektivt med semi-definit programmering (SDP). I detta dokument diskuterar vi först hur man kan lätta på tillståndet för barriärcertifikat på ett allmänt sätt, samtidigt som deras konvexitet bibehålls. Särskilt kan man då utnyttja olika svagare förhållanden flexibelt för att syntetisera olika typer av barriärcertifikat med mer uttrycksfullhet effektivt med hjälp av SDP. Dessa hinder ger fler möjligheter att kontrollera det berörda systemet. Vi visar också hur man kombinerar två funktioner tillsammans för att bilda ett kombinerat barriärcertifikat för att bevisa en säkerhetsfastighet som är under övervägande, medan ingen av dem kan användas som ett barriärcertifikat separat, även efter något avslappnat tillstånd. Ett annat bidrag i detta dokument är att vi diskuterar hur man kan upptäcka certifikat från den allmänna avslappnade situationen av SDP. Vi fokuserar särskilt på hur man kan undvika det osunda på grund av det numeriska fel som orsakas av SDP med symbolisk kontroll.
Dai m.fl. REF tar upp samma problem med numeriska fel i samband med syntesen av barriärcertifikat.
Barrier Certificates Revisited
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}