Vi undersöker problemet med att syntetisera kopplingsregulatorer för att stabilisera kontinuerliga anläggningar. För det första introducerar vi en kontrollklass Lyapunov-funktioner (CLF) för omkopplade system tillsammans med en omkopplingsstrategi som ger ett slutet loopsystem med en garanterad minsta uppehållstid i varje omkopplingsläge. Utmaningen ligger dock i att automatiskt syntetisera lämpliga klorfluorkolväten. Om vi antar en given fast form för CLF med okända koefficienter, härleder vi kvantifierade icke-linjära begränsningar vars genomförbara lösningar (om sådana finns) motsvarar CLF:er för det ursprungliga systemet. Att lösa kvantifierade ickelinjära begränsningar utgör dock en utmaning för de flesta LMI/BMI-baserade avkopplingar. Därför undersöker vi ett allmänt tillvägagångssätt som kallas Counter-Example Guidad Induktiv Synthesis (CEGIS), som har använts i stor utsträckning inom det framväxande området automatisk programsyntes. Vi visar hur en LMI-baserad avslappning kan formuleras inom ramen för CEGIS för synthesizing CLFs. Vi utvärderar också vår strategi på ett antal intressanta riktmärken, och jämför resultatet av den nya metoden med vårt tidigare arbete som använder off-the-shelf icke-linjära begränsningslösare istället för LMI avkoppling. Resultaten visar synthesizing CLFs genom att använda LMI-lösare inom ett CEGIS-ramverk kan vara en kalkylal genomförbar metod för synthesizing CLFs.
I REF använder författarna CEGIS för syntesen av kopplingsregulatorer för att stabilisera kontinuerliga anläggningar med polynomdynamik.
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems
{'venue': '2015 54th IEEE Conference on Decision and Control (CDC)', 'journal': '2015 54th IEEE Conference on Decision and Control (CDC)', 'mag_field_of_study': ['Computer Science', 'Mathematics']}