Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

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 consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.

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

Network Dive into details by clicking on the dots.

Projects 2002 2023

Research Output 1989 2019

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Passerone, R., Cancila, D., Albano, M., Mouelhi, S., Plosz, S., Jantunen, E., Ryabokon, A., Laarouchi, E., Hegedus, C. & Varga, P., 2019, In : IEEE Access. 7, p. 125022-125037 16 p., 8812663.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Highway accidents
Automotive industry
Authentication
Railroad cars
Innovation
1 Citation (Scopus)

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
Java
Machine learning
8 Citations (Scopus)
349 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
File
Power converters
Model checking
Model predictive control
Power electronics
Degradation

Prizes

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: Conference prizes

Controllers
Uncertainty

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Recipient), 1 Aug 2007

Prize: Other prizes

Activities 2006 2019

Quantitative Evaluation of Systems (QEST) 2019

Mikkel Hansen (Speaker)
10 Sep 201912 Sep 2019

Activity: Talks and presentationsConference presentations

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Speaker)
4 Sep 2018

Activity: Talks and presentationsConference presentations

SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant), Morten Ziethen (Participant)
22 May 2018

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

Press / Media

Kunstig intelligens forbedrer virtuelle tests

Peter Gjøl Jensen

27/06/2019

3 items of Media coverage

Press/Media: Press / Media

Fire universiteter skal gøre den grønne omstilling billigere

Kim Guldstrand Larsen

31/05/2019

1 item of Media coverage

Press/Media: Press / Media