Complexity reduction in verification and synthesis of linear control systems
| Promotie: | A. (Armin) Pirastehzad, MSc |
| Wanneer: | 01 april 2025 |
| Aanvang: | 11:00 |
| Promotors: | prof. dr. ir. B. Besselink, prof. dr. A.J. (Arjan) van der Schaft, B. (Bayu) Jayawardhana, Prof |
| Waar: | Academiegebouw RUG |
| Faculteit: | Science and Engineering |
Een modulaire aanpak voor complexe regelsystemen
Verificatie en synthese van moderne technische systemen, die vaak verschijnen als koppelingen van heterogene componenten, zijn buitengewoon arbeidsintensief geworden naarmate deze systemen steeds complexer zijn geworden. Traditionele methoden voor verificatie en (regelaar) ontwerp zijn niet expressief in de zin dat ze niet voldoen aan de geavanceerde specificaties die deze complexe systemen vereisen. Daarnaast zijn deze methoden niet rekenkundig hanteerbaar, aangezien ze niet goed schalen met toenemende systeemdimensies. Bovendien formaliseren veel van deze methoden verificatie (synthese) in kaders die hen incompatibel maken met veel effectieve analytische (synthetische) methoden in de regeltheorie.
Gemotiveerd door deze uitdagingen, streefde Armin Pirastehzad er in zijn proefschrift naar om verificatie- en synthesekaders te ontwikkelen die expressief, rekenkundig hanteerbaar en compatibel zijn met effectieve methoden voor analyse en synthese in de regeltheorie. Om rekenkundig hanteerbare verificatie mogelijk te maken, ontwikkelde Pirastehzad kaders die modulair zijn in de zin dat ze de decompositie van een globaal verificatieprobleem in lokale problemen toestaan die onafhankelijk kunnen worden behandeld.
Om de rekenkundige complexiteit van synthese te verminderen, ontwikkelde Pirastehzad kaders die hiërarchisch zijn in de zin dat ze een complexe synthesetaak opsplitsen in opeenvolgende eenvoudige subtaken die weinig rekenkracht vereisen. De kern van onze benadering bij het ontwikkelen van dergelijke verificatie- en synthesekaders is systeemabstractie, die hem in staat stelt om complexe (hoog-dimensionale) modellen te abstraheren tot eenvoudige (laag-dimensionale) modellen en dienovereenkomstig verificatie (synthese) uit te voeren op basis van deze abstracte modellen.
Armin Pirastehzad voerde zijn onderzoek uit bij het Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, afdeling Systems, Control and Applied Analysis. Hij vervolgt zijn loopbaan als postdoc bij de Rijksuniversiteit Groningen.