• Selma Lagerløfs Vej 300, 1-2-12

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032021
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer Science
  • Modal Transition Systems
  • mixed transition systems
  • Interface Theory

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 9 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Real time systems Engineering & Materials Science
Scheduling Engineering & Materials Science
Model predictive control Engineering & Materials Science
Avionics Engineering & Materials Science
Power electronics Engineering & Materials Science
Chemical analysis Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2010 2021

Real time systems
Embedded systems
Ecosystems
Middleware
Energy management
Costs

Research Output 2003 2019

4 Citations (Scopus)
311 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

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 7 Sep 2019, (Accepted/In press) Distributed Simulation and Real-Time Applications.

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

File
Scheduling

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 2019, (Accepted/In press) In : AIAA Journal.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Ethernet
Concretes
14 Downloads (Pure)
Open Access
File
Model predictive control
Model checking
Power electronics
Aviation
Sensor networks
20 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

Open Access
File

Press / Media

Eksperternes gode råd: Sådan kommer du i gang med smarte produkter

Ulrik Nyman

13/07/2016

1 item of Media coverage

Press/Media: Press / Media

Babyhue med sensor vinder it-pris

Ulrik Nyman

09/04/2014

5 items of Media coverage

Press/Media: Press / Media

Tre AAU-hold med til DM i indlejrede systemer

Ulrik Nyman

03/04/2014

1 item of Media coverage

Press/Media: Press / Media

Studerende udvikler mobil kalender til autister

Ulrik Nyman

16/08/2012

1 item of Media coverage

Press/Media: Press / Media