Abstrakt. I den här artikeln tar vi upp problemet med lokal sökning efter förfalskning av hybrida automata med affin dynamik. Nämligen, om vi får en sekvens av platser och en maximal simuleringstid, återvänder vi den bana som kommer närmast den osäkra uppsättningen. För att lösa detta problem formulerar vi det som ett differentierat optimeringsproblem som vi löser med hjälp av Sekventiell Quadratic Programmering. Syftet med att utveckla en sådan lokal sökmetod är att kombinera den med högnivå stokastiska optimeringsalgoritmer för att förfalska hybridsystem med komplex diskret dynamik och högdimensionella kontinuerliga utrymmen. Experimentella resultat indikerar att den lokala sökproceduren förbättrar resultaten av rena stokastiska optimeringsalgoritmer.
Abbas REF visar hur man använder lokal sökning efter förfalskning av hybridsystem med affin dynamik.
Linear Hybrid System Falsification With Descent
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}