En voksende mængde af de fysiske genstande, som vi omgiver os med, sidder der små computere og styrer en lang række forskellige funktioner. Udfordringen er at sikre, at de små computere tilpasser sig optimalt den sammenhæng, som de skal bruges i. Cyber-fysiske systemer (CPS) er et system af samarbejdende computerbaserede elementer, som styrer fysiske genstande.
Vi forsker i Cyber-fysiske -systemers tilpasningsevne, anvendelighed, effektivitet, funktionalitet, pålidelighed og sikkerhed og studerer modeller, programmeringssprog og analyseteknikker, som understøtter dette. CPS bruges fx inden for infrastruktur (vand- og energiforsyning, veje og jernbaner) og sundhed.
Eksempler på projekter:
- IDEA4CPS (Dansk-Kinesisk Grundforskningsprojekt): Omhandler udviklingen af det matematiske fundament for modeller, metoder og værktøjer for CPS.
Sektion for Formal Methods - for Safe and Secure Systems, DTU Compute.