I detta arbete, den nåbara uppsättningen estimering och säkerhetsverifiering problem för en klass av bitvis linjära system utrustade med neurala nätverksstyrenheter behandlas. Det neurala nätverket anses bestå av rektifierade linjära enheter (ReLU) aktiveringsfunktioner. En lager-för-lager metod är utvecklad för utdata nåbar uppsättning beräkning av ReLU neurala nätverk. Beräkningen är formulerad i form av en uppsättning manipulationer för en union av polytoper. Baserat på den utdataåtkomliga uppsättningen för neurala nätverksstyrenheter, den utdataåtkomliga uppsättningen för en bitvis linjär återkoppling styrsystem kan uppskattas iterativt för en given ändlig-tidsintervall. Med den uppskattade utdatasetet kan säkerhetsverifieringen för styckvis linjära system med neurala nätverksstyrenheter utföras genom att kontrollera förekomsten av skärningspunkter mellan osäkra regioner och utdataset. Ett numeriskt exempel presenteras för att illustrera effektiviteten i vår strategi.
REF kontrollerar säkerheten genom att beräkna den tillgängliga uppsättningen stater och kontroller om de överlappar de osäkra staterna.
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
{'venue': '2018 Annual American Control Conference (ACC)', 'journal': '2018 Annual American Control Conference (ACC)', 'mag_field_of_study': ['Mathematics', 'Computer Science']}