DEIS

DEIS PROJECTS

In the DEIS group, we have a strong focus on collaboration. The group is involved in numerous national (Danish) and externally funded international (European) research projects.

We maintain strong and long-term links to several outstanding researchers and research labs as well as industrial collaborators. These collaborations form the basis of several of our international projects but also for the basis for joint research and joint publications also outside of formal research projects. Maintaining and fostering these collaborations enhances quality and impact of our research. 

Below you find a list of both current and completed research projects, as well as networks and partnerships in which we are involved.  

        Collaborate with us
 

Collaborate with DEIS

.

Current projects

Find more information about the Center for Data-Intensive Cyber-Physical Systems (DiCyPS)


Center for Data-Intensive Cyber-Physical Systems (DiCyPS) focuses on utilizing software and data from the IT management of complex physical systems for the development of smarter and more user-friendly solutions for society and individuals.

  • The center is funded by the Innovation Foundation Denmark and headed by Kim G. Larsen.
  • The center has a very extensive network of top research collaborators as well as industrial collaborators.

Read more

Find more information about the project: Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems Project (LASSO)


The Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems Project aims at developing a new generation of scalable tools for cyber-physical systems through combining advanced model-checking techniques with machine learning.

The project is funded by an ERC Advanced Grant awarded to Kim G. Larsen. 
 

Read more

Find more information about the project: Flexible Energy Denmark (FED)


Flexible Energy Denmark (FED) is a Danish digitization project aimed at turning Danish electricity consumption flexible to enable excess power production from wind turbines and solar cells.

  • Partners: 24 partners representing Danish universities, utilities, companies and municipalities.
  • The project is funded by Innovation Foundation Denmark.

    READ MORE
Find more information about the project: Distributed ONline monitoring of the Urban waTer cycle (DONUT)


The Distributed ONline monitoring of the Urban waTer cycle (DONUT) project utilizes current advances in smart energy-efficient sensors, IoT, big-data and ICT combined with comprehensive knowledge and experience to develop a unified cost-efficient grand solution spanning from measurement to information creation.

  • Partners: Aalborg University - Department of Computer Science and Department of Civil Engineering, Aarhus Vand, Vand-Center Syd, MONTEM, InforMetics, and Aarhus Municipality.
  • The project is funded by the Innovation Fund Denmark.

Read more

Find more information about the project: Operating System for Smart Services in Buildings (DomOS)


Improving energy efficiency in existing buildings can and should be achieved through deep renovation. In comparison, smart technologies can increase the efficiency and the flexibility of buildings in a shorter term and with much less investments. The domOS project aims to develop an operating system for smart services in buildings.

  • Partners: 10 partners from five European countries
  • Funding: The project is funded by the European Union's Horizon 2020 research and innovation programme.

Read more

Find more information about the project: Flexible Energy Production, Demand and Storage-based Virtual Power Plants for Electricity Markets and Resilient DSO Operation (FEVER)


The European Research & Innovation project FEVER aims at demonstrating and implementing solutions that leverage the potential of flexibility in generation, consumption and storage of electricity. 

  • Partners: Seventeen partners from eight European countries
  • Funding: The partners receive funding from the European Union's Horizon 2020 research and innovation programme.
     

Read more

Find more information about the project: Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems


The Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems project aims to take a giant leap forward in schedulability analysis for multi-core architectures; analyzing industrial sized systems with more accuracy and flexibility through the use of compositional model checking techniques.

  • The project is funded by the Danish Council for Independent Research.
     

Read more

 

Find more information about the project: BEO-COVID - Beslutningsstøtte for Evaluering og Optimering i UPPAAL

In the BEO-COVID project researchers from Aalborg University contribute to developing a decision-support system that authorities can use in relation to the reopening of Denmark following the Corona lockdown. The project utilizes a well-established method where the researchers, colloquially speaking, play chess against the virus.

  • Partners: Department of Computer Science and Department of Electronic Systems, Aalborg University
  • The project is funded by the Poul Due Jensen Foundation

Read more

Find more information about the project: Controlling Water In An Urban Environment (CLAIRE)


In the project CLAIRE - Controlling water in an urban environment - researchers from Aalborg University attempt to improve the possibilities for understanding and controlling water in urban areas. The aim is to make certain the water does not end up in the wrong place at the wrong time.

  • Partners: Department of Computer Science and Department of the Built Environment, Aalborg University
  • Funding: The project is funded by the VILLUM FOUNDATION 

Read more

Find more information about the project: What-if Analysis for Dependable Communication Networks

The project "What-if Analysis for Dependable Communication Networks" aims to design more automated approaches to manage and operate networks, ensuring policy-compliance and quality-of-service even under failures.

  • Partners: Aalborg University and University of Vienna
  • The project is funded by The Vienna Science and Technology Fund 

Read more

Find more information about the project: Energy Consumption Optimization in Radio Access Networks (ECO-RAN)


The Energy Consumption Optimization in Radio Access Networks (ECO-RAN) project will help accelerate green and sustainable transition in mobile telecommunication.

  • Partners: Aalborg University, 2operate and TT-Netværket P/S.
  • The project is partly funded by CLEAN.
     

READ MORE

Find more information about the project: Quantitative Analysis and Synthesis of Network Protocols (QASNET)

In the project Quantitative Analysis and Synthesis of Network Protocols (QASNET), researchers collaborate to advance the state-of-the-art of automatic network analysis and synthesis.

  • Partners: Aalborg University, University of Vienna and Cornell University
  • The project is funded by the Independent Research Fund Denmark

Read more

.

Networks and Partnerships

Find more information about the SmartCityTech partnership

The SmartCityTech partnership facilitates global cooperation between city stakeholders aiming at the development and realization of innovative value models for urban areas enabled by smart systems.Read More

DIREC is a Danish national centre for research, innovation and education in digital technologies

The Danish National Centre for Research in Digital Technologies conducted by a consortium consisting of the computer science departments at: Aalborg University, Aarhus University, Copenhagen Business School, Technical University of Denmark, IT University of Copenhagen, University of Copenhagen, University of Southern Denmark and the Alexandra Institute.

The vision of DIREC is to become a worldwide recognised centre for research, innovation and education in computer science. The excellence of DIREC will equal the most renowned computer science universities in Europe and the US and provide an attractive collaborative meeting place for international researchers.

Read more

.

Completed projects