I detta dokument föreslås en metod för att syntetisera regulatorer som använder ändliga tidskonvergensbarriärfunktioner som styrs av linjära tidslogiska specifikationer för kontinuerliga dynamiska system med flera agenser. Finita tidskonvergenser till en önskad uppsättning i statsrymden garanteras under existensen av en lämplig ändlig tidskonvergenskontrollbarriärfunktion. Dessutom garanterar dessa barriärfunktioner också en framtida variation när systemet konvergerar till önskad uppsättning. Detta gör det möjligt för oss att formulera en teoretisk ram som syntetiserar regulatorer för multiagentsystemet. Dessa egenskaper gör det också möjligt för oss att lösa problemet med nåbarhet i kontinuerlig tid genom att formulera ett teorem om sammansättningen av flera ändliga tidskonvergenskontroll barriärfunktioner. Detta tillvägagångssätt är mer flexibelt än befintliga metoder och möjliggör också en större uppsättning genomförbara kontrolllagar. Linjär tidslogik används för att specificera komplexa uppgiftsspecifikationer som måste uppfyllas av fleragentsystemet. Med denna lösningsmetod sammanställs en kontrolllag som uppfyller den givna tidslogiska uppgiftsspecifikationen. Robotiska experiment tillhandahålls som utfördes på Robotarium multi-robot testbädd på Georgia Tech.
I synnerhet använder REF verktyg från linjär tidslogik (LTL) för specifikationen av beteenden som ska utföras av systemet.
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic
{'venue': '2018 IEEE Conference on Decision and Control (CDC)', 'journal': '2018 IEEE Conference on Decision and Control (CDC)', 'mag_field_of_study': ['Computer Science', 'Mathematics']}