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
Transition Systems Matematik

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

Projekter 2002 2021

Publikationer 1989 2019

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
3 Citationer (Scopus)
254 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

A Real-time On-Chip Network Architecture for Mixed Criticality Aerospace Applications

Majumder, S., Schiøler, H., la Cour-Harbo, A., Bak, T. & Nielsen, J. F. D., 2019, (Accepteret/In press) I : The Aeronautical Journal.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Priser

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Modtager), 1 aug. 2007

Pris: Priser, stipendier, udnævnelser

Ansøgning START midler (Quasimodo)

Brian Nielsen (Modtager), 1 feb. 2007

Pris: Priser, stipendier, udnævnelser

Best Paper Award

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

Pris: Priser, stipendier, udnævnelser

Aktiviteter 2004 2018

1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS

Alexandre David (Arrangør)
28 jul. 20081 aug. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

1st International Conference on Runtime Verification : PC Member

Brian Nielsen (Arrangør)
11 jan. 20104 nov. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

22 IFIP Conference on International Conference on Testing Software and Systems

Brian Nielsen (Arrangør)
11 jan. 20101 nov. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference