Learning in dynamical systems
stability guarantees, exact guidance, and closed-loop estimation
Tid: Fr 2026-12-04 kl 14.00
Plats: Harry Nyquist, Malvinas väg 10, Stockholm
Videolänk: https://kth-se.zoom.us/j/65340489773
Språk: Engelska
Ämnesområde: Elektro- och systemteknik
Licentiand: Alice Harting , Reglerteknik
Granskare: Professor Jun Liu, University of Waterloo, Waterloo, Canada
Huvudhandledare: Professor Karl H. Johansson, Reglerteknik, Digital futures; Assistant Professor (Docent) Matthieu Barreau, Digital futures, Reglerteknik
QC 20261111
Abstract
Denna avhandling studerar modellering och inferens i icke-linjära dynamiska system med maskininlärning. Ökad datatillgång och djupinlärning har drivit utvecklingen av icke-linjär systemidentifiering framåt, men verkliga tillämpningar kräver förutsägbara modeller med effektiv inferens där realtidsdatan är begränsad. Våra bidrag är neurala modeller med reglerteoretiska garantier, generativa modeller med samplingsteoretiska garantier, och tillståndsskattning med neurala surrogatmodeller.
För det första konstruerar vi neurala ordinära differentialekvationer som är lokalt exponentiellt stabila i origo, med exakt beräknade attraktionsområden och garantier för universell approximation. Vi inför ett inlärbart projektionslager som definieras av en neural Lyapunovfunktion som löser en variant av Zubovs ekvation för den projicerade dynamiken. Vi bevisar att modellklassen universellt approximerar all tillräckligt glatt, lokalt exponentiellt stabil dynamik över dess attraktionsområde.
För det andra härleder vi en metod för exakt, träningsfri styrning inom flödesmatchning (flow matching). Huvudidén är att all stokasticitet i flödesmatchning härrör från samplingen ur källfördelningen, så vi modifierar källtätheten och behåller den ursprungliga flödesavbildningen. Vi bevisar att vår metod exakt återskapar den betingade målfördelningen. Vi tillämpar den på ett inverst problem för en partiell differentialekvation.
För det tredje konstruerar vi en metod för tillståndsskattning i oändligdimensionella dynamiska system med neurala surrogatmodeller. Vi använder Fourier-neurala operatorer (FNO) som surrogat för högupplösta flödesavbildningar, och bäddar in dem i en återkopplad skattare som använder glesa onlinemätningar. Vi tillämpar metoden på skattning av trafikdensitet, där FNO:n tränas på data från mikroskopisk trafiksimulering.