Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Organisationsprofil

Organisationsprofil

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 Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.

Model checking Teknik og materialevidenskab
Real time systems Teknik og materialevidenskab
Specifications Teknik og materialevidenskab
Timed Automata Matematik
Controllers Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Petri nets Teknik og materialevidenskab
Scheduling Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Projekter 2002 2023

FED: Flexible Energy Denmark

Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.

01/04/201931/03/2023

Projekter: ProjektForskning

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.

Det Frie Forskningsråd | Teknologi og Produktion

01/08/201731/07/2021

Projekter: ProjektAndet

Approximate Reasoning for Stochastic Markovian Systems

Mardare, R. & Larsen, K. G.

01/11/201531/10/2019

Projekter: ProjektForskning

Publikationer 1989 2020

Impedance Control and Force Estimation of a Redundant Parallel Kinematic Manipulator

Mendez, J. D. D. F., Schiøler, H., Madsen, O. & Bai, S., 1 jan. 2020, Informatics in Control, Automation and Robotics : 14th International Conference, ICINCO 2017 Madrid, Spain, July 26-28, 2017 Revised Selected Papers. Madani, K. & Gusikhin, O. (red.). Springer, s. 174-191 18 s. (Lecture Notes in Electrical Engineering, Bind 495).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Manipulators
Kinematics
Robots
Feedback linearization
Actuators
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, I : Knowledge-Based Systems. 163, s. 595-597 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Learning systems
Message passing
Probability distributions
Java
Machine learning
4 Citationer (Scopus)
313 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, I : I E E E Transactions on Industrial Electronics. 66, 3, s. 2004 - 2014 11 s., 8368064.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Power converters
Model checking
Model predictive control
Power electronics
Degradation

Priser

Best Paper Award

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

Pris: Konferencepriser

Controllers
Uncertainty

Best Paper Award

Abdul Rauf Khan (Modtager), Henrik Schiøler (Modtager), Torben Knudsen (Modtager) & Murat Kulahci (Modtager), 2015

Pris: Konferencepriser

Aktiviteter 2004 2019

Marius Bujorianu

Henrik Schiøler (Vært)
22 aug. 201929 aug. 2019

Aktivitet: Værtskab for gæsteforskerVærtskab for gæsteforsker

Aalborg University – the smart link between business, innovation and technical ITS research

Niels Agerholm (Arrangør), Anne Britt Larsson (Arrangør), Kristian Hegner Reinau (Deltager), Andreas Berre Eriksen (Deltager), Thorkild Ærø (Deltager), Preben Elgaard Mogensen (Deltager), Thomas B. Moeslund (Deltager), Lars Reng (Deltager), Henrik Schønau Fog (Deltager), Jacob Bach Sanden (Deltager), Freddy Sørensen (Deltager)
19 sep. 2018

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Oplægsholder)
4 sep. 2018

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg