Matematiske garantier for systemer, der skal reagere i rette tid
Ph.d.-forsvar, mandag den 26. oktober 2026. Mikael Bisgaard Dahlsen-Jensen
En jernbanebom har én opgave: at være nede, før toget kommer, hver gang. Den er ét af mange systemer, der skal reagere inden for stramme tidsgrænser, fra flyveledelse til pacemakere, hvor et øjebliks forsinkelse kan være farlig.
I løbet af sit ph.d.-studium har Mikael Bisgaard Dahlsen-Jensen bygget et værktøj, der regner ud, hvordan sådanne systemer kan handle sikkert og til tiden. De rette tidsværdier er svære at fastlægge: nogle, som hvor lang tid bommen er om at gå ned, kendes ikke, når systemet designes, og andre kan aldrig kendes præcist, for eksempel hvornår toget når overskæringen, efter at en sensor er udløst. Oven i det har designeren ingen kontrol over omgivelserne. En bilist kan finde på at køre slalom uden om en halvt sænket bom, og systemet skal kunne håndtere det alligevel.
I stedet for blot at gætte på værdier og derefter teste dem beregner hans værktøj svaret og finder automatisk alle de værdier, der med garanti er sikre. Det betragter problemet som et spil, hvor de ukontrollerede omgivelser er en værst tænkelig modstander, og finder en strategi, der vinder, uanset hvad modstanderen gør. Det hele er indbygget i etableret verifikationssoftware, og den underliggende metode er matematisk bevist korrekt, ikke blot testet, så en ingeniør kan stole på svarene, allerede før designet bliver bygget.
Ph.d.-studiet er gennemført ved Institut for Datalogi, Faculty of Natural Sciences, Aarhus Universitet.
Dette resumé er udarbejdet af den ph.d.-studerende.
Tid: mandag den 26. oktober 2026 kl. 13.10
Sted: Bygning 5342, lokale 333, Ada, Institut for Datalogi, Aarhus Universitet, Åbogade 34, 8200 Aarhus N.
Afhandlingens titel: Practical Controller Synthesis for Real-Time Systems under Uncertainty
Kontaktinfo: Mikael Bisgaard Dahlsen-Jensen, e-mail: mikaelbdj@gmail.com, tlf.: +45 31902069
Bedømmelsesudvalg:
Professor Didier Lime, LS2N, École Centrale de Nantes, Frankrig
Professor Jiri Srba, Institut for Datalogi, Aalborg Universitet, Danmark
Lektor Amin Timany (forperson), Institut for Datalogi, Aarhus Universitet, Danmark
Hovedvejleder: Professor Jaco van de Pol, Institut for Datalogi, Aarhus Universitet, Danmark
Sprog: Ph.d.-afhandlingen forsvares på engelsk
Forsvaret er offentligt.
Afhandlingen ligger til gennemsyn hos Graduate School of Natural Sciences (GSNS), Ny Munkegade 120, bygning 1521, 8000 Aarhus C