Compositional analysis and control of dynamical systems
Promotie: dhr. F.J. Kerber, 16.15 uur, Academiegebouw, Broerstraat 5, Groningen
Proefschrift: Compositional analysis and control of dynamical systems
Promotor(s): prof.dr. A.J. van der Schaft
Faculteit: Wiskunde en Natuurwetenschappen
Compositionele analyse-technieken
Compositionele analyse-technieken worden vaak gebruik om grote computerprogramma's op correctheid te controleren. Het sleutelprobleem daarbij is de complexiteit die veroorzaakt wordt doordat deelprocessen die gelijktijdig lopen, elkaar wederzijds kunnen beïnvloeden. Compositioneel redeneren vereenvoudigt een probleemstelling voor het gehele systeem door splitsing in meerdere deelproblemen. Het doel van het proefschrift van Florian Kerber is om compositionele methodes die afkomstig zijn uit de theoretische informatica, bruikbaar te maken voor de analyse van dynamische systemen uit de regel- en systeemtheorie.
Het onderzoek van Kerber is gericht op redeneermethodes die op (bi)simulaties zijn gebaseerd. Een belangrijk resultaat is dat circulair 'assume-guarantee' redeneren logisch correct en compleet is voor feedbackinterconnecties van lineaire tijd-continue systemen. Bovendien leidt het gebruik van compositionele technieken in de regeltheorie tot nieuwe inzichten onder meer op het gebied van passiviteit en gedecentraliseerde regeling.
Florian Kerber (Duitsland, 1981) studeerde natuurwetenschappen aan de universiteit van Stuttgart en het Georgia Institute of Technology. Het onderzoek werd uitgevoerd het Johan Bernoulli Institute for Mathematics and Computer Science van de RUG en gefinancierd door NWO.
Laatst gewijzigd: | 13 maart 2020 01:10 |
Meer nieuws
-
18 juli 2024
Slimme robots om kleinere chips te maken
Een robotarm in een fabriek die herhaaldelijk dezelfde beweging maakt: dat is iets van het verleden, vindt Ming Cao. Wetenschappers van de Rijksuniversiteit Groningen werken samen met hightech bedrijven om productieprocessen steeds meer autonoom te...
-
17 juli 2024
Veni-beurzen voor tien onderzoekers
Aan tien onderzoekers van de Rijksuniversiteit Groningen en het UMCG is een Veni-beurs van maximaal 320.000 euro toegekend. De Veni-beurzen worden jaarlijks toegekend door de Nederlandse Organisatie voor Wetenschappelijk onderzoek (NWO) en zijn...
-
15 juli 2024
Financiering voor RUG onderzoekers uit Nationaal Groeifondsprogramma Circular Plastics NL
Voor onderzoek naar het circulair maken van plastics ontvangen Professors Patrizio Raffa en Katja Loos samen ongeveer 1,2 miljoen euro vanuit het Nationaal Groeifondsprogramma Circular Plastics NL.