Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg


Organization profile

Organisation profile

The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:

  • Semantic theories for modelling the behavior of computer programs and systems
  • Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
  • Algorithms, methods and tools for verification, and validation of programs and systems.
  • Probabilistic models and algorithms for intelligent decision making and machine learning.

For more information see
DEIS webpage 


Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science
Specifications Engineering & Materials Science
Timed Automata Mathematics
Controllers Engineering & Materials Science
Semantics Engineering & Materials Science
Petri nets Engineering & Materials Science
Transition Systems Mathematics

Network Dive into details by clicking on the dots.

Projects 2014 2016

Research Output 2015 2019

AMIDST: A Java toolbox for scalable probabilistic machine learning

Masegosa, A., Martinez, A. M., Ramos-López, D., Cabanas de Paz, R., Salmerón, A., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Jan 2019, In : Knowledge-Based Systems. 163, p. 595-597 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Learning systems
Message passing
Probability distributions
Machine learning
1 Citation (Scopus)
195 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Power converters
Model checking
Model predictive control
Power electronics

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review


Best Paper Award

Giovanni Bacci (Recipient), Kim Guldstrand Larsen (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

Prize: Prizes, scholarships, distinctions


Activities 2015 2018

  • 3 Organisation or participation in workshops, courses, or seminars
  • 3 Series editor
  • 1 Conference presentations

2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016

Mikkel Hansen (Speaker)
9 Nov 201611 Nov 2016

Activity: Talks and presentationsConference presentations

IDEA4CPS Workshop

Mikkel Hansen (Participant)
30 Nov 20152 Dec 2015

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

International Symposium on Mathematical Foundations of Computer Science (Event)

Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor), Jean-François Raskin (Editor)
21 Aug 201725 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

Press / Media

AAU-professor skal rådgive kinesisk premierminister om digitalisering

Kim Guldstrand Larsen


19 items of media coverage

Press/Media: Press / Media

Reklamenetværk sporer danskerne massivt på nettet

René Rydhof Hansen


1 item of media coverage

Press/Media: Press / Media

Selvkørende debat

Jakob Haahr Taankvist, Morten Ziethen & Niels Agerholm


2 items of media coverage

Press/Media: Press / Media