Jump to content
HomeResearchResearch groups

Research group

Distributed, embedded and intelligent systems

The group covers mathematical foundation, verification tools, validation methodologies, probabilistic graphical models and machine learning focusing on distributed, embedded and intelligent systems.

Research group

Distributed, embedded and intelligent systems

The group covers mathematical foundation, verification tools, validation methodologies, probabilistic graphical models and machine learning focusing on distributed, embedded and intelligent systems.

Research  

Key research areas

The DEIS research group targets the overall challenges:

  • Mathematical and logical theory for modelling and specifying concurrent processes, including quantitative and security aspects
  • Tools, algorithms and datastructures for model checking, performance analysis and synthesis for complex systems
  • Model-based methodologies for embedded and cyber-physical
    systems
  • Analysis and construction of services and protocols for networks
  • Inference and learning of probabilistic graphical models
  • Machine learning using statistical as well as logic and relational-based methods
  • Applications in a variety of domains, including transport, energy, water-management, and health

You must accept the following cookie categories in order to view the content: Marketing

Education  

Study related activities 

The DEIS staff teaches 15-20 courses including mathematical foundations, distributed and embedded systems, machine learning and several MSc specialization courses.

DEIS staff also organizes several PhD courses, e.g. on model-checking and machine learning.

Collaboration 

Who benefits from the research 

Our research benefits companies and organizations that work with safety critical software systems where requirements on monitorability, predictability, security as well as safe and intelligent decision making are crucial. The several academic and industrial users of our worldclass tools, e.g. UPPAAL and TAPAAL, benefit.

Example partners 

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

Key projects 

LASSO

ERC Advanced Grant on Learning, Analysis, Synthesis and Optimization for CPS.

DICYPS

Center for data-intensive cyber-physical systems.

DONUT

Innovation Fund Denmark Grand Solution on online monitoring of urban water.

CLAIRE

Villum-Synergy project on Intelligent Water Management.

BEO-COVID

Poul Due Jensen Foundation project on evaluation and optimization of measures against COVID-19.

MULTICORE SAFETY, QASNET

DFF projects on embedded safety and software defined networks.

INFINIT

Danish Innovation Network on ICT

Contact

information
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
laboratorie, to personer i hvide kitler

Read about more research groups

At the faculty, we have more than 30 research groups and sections with internationally recognized researchers who work in the areas of: planning, digitization, autonomous systems, communication and human touch.

laboratorie, to personer i hvide kitler
Read more here