ForsideForskningForskningsgrupper

Forskningsgruppe

Distribuerede, indlejrede og intelligente systemer

Forskningsgruppe

Distribuerede, indlejrede og intelligente systemer

Forskning 

Vigtige forskningsområder 

Forskningsgruppen DEIS beskæftiger sig med følgende overordnede udfordringer:

  • Matematiske og logiske teorier til modellering og specificering
    af distribuerede processer, inklusiv kvantitative og sikkerhedsmæssige aspekter
  • Værktøjer, algoritmer og datastrukturer til verifikation af
    modeller, performanceanalyse og syntese af komplekse systemer
  • Modelbaserede metoder for indlejrede og cyber-fysiske systemer
  • Analyse og konstruktion af services og protokoller for netværk
  • Inferens og læring af probabilistiske grafiske modeller
  • Maskinlæring med statistiske såvel som logiske og relationsbaserede metoder
  • Applikationer indenfor forskellige domæner, inklusiv transport,
    energi, vandstyring og sundhed

Du skal acceptere følgende cookiekategorier for at kunne se indholdet: Marketing

Uddannelse 

Studierelateret aktivitet 

Forskerne ved DEIS underviser i 15-20 kurser, inklusiv matematiske
grundlag, distribuerede og indlejrede systemer, maskinlæring og adskillige kandidatkurser.

DEIS afholder ligeledes flere PhD kurser, fx i model-checking og maskinlæring.

Samarbejde 

Forskningens målgruppe 

Forskningen tilgodeser virksomheder og organisationer, der arbejder
med sikkerhedskritiske softwaresystemer, hvor kravene til overvågning,
forudsigelighed, sikkerhed samt korrekte og intelligente beslutninger
er altafgørende. Akademiske og industrielle brugere har glæde af vores
værktøjer som fx UPPAAL og TAPAAL, der er blandt de bedste i verden.

Eksempler på partnere 

INRIA Rennes, TU Wien, TU Eindhoven, Strathclyde University, Oxford University, Northeastern University, Trento University, NTNU, Grundfos, Aalborg Kommune, Aarhus Vand, Huawei, Nilfisk, Neocortec, ATS, Ambolt, Neogrid, Hardi, Seluxit, GOMSpace.

Nøgleprojekter

LASSO

Læring, analyse, syntese og optimering for CPS. ERC Advanced Grant støttet af Det Europæiske Forskningsråd.

DICYPS

Center for data-intensive cyber-fysiske systemer.

DONUT

Online overvågning af byvand. Støttet af Innovationsfondens Grand Solutions.

CLAIRE

Villum-Synergy projekt om intelligent styring af vand.

BEO-COVID

Poul Due Jensen Fond-projekt om evaluering og optimering af tiltagene til bekæmpelse af COVID-19.

MULTICORE SAFETY, QASNET

DFF-støttede projekter om indlejret sikkerhed og softwaredefinerede netværk.

INFINIT

Dansk innovationsnetværk om IKT.

Kontakt

oplysninger
Kim G. Larsen, Professor
kgl@cs.aau.dk
Jiri Srba, Professor
srba@cs.aau.dk
Thomas D. Nielsen, Professor MSO
+45 9940 7220
tdn@cs.aau.dk

Læs om flere forskningsgrupper

På fakultetet har vi mere end 30 forskningsgrupper og -sektioner med internationalt anerkendte forskere, som arbejder inden for områderne: planlægning, digitalisering, autonome systemer, kommunikation og human touch.

Læs mere her