Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi
  • modale transitions systemer
  • blandede transitions systemer
  • grænseflade teori

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 12 Lignende profiler
Model checking Teknik og materialevidenskab
Specifications Teknik og materialevidenskab
Real time systems Teknik og materialevidenskab
Scheduling Teknik og materialevidenskab
Model predictive control Teknik og materialevidenskab
Avionics Teknik og materialevidenskab
Power electronics Teknik og materialevidenskab
Chemical analysis Teknik og materialevidenskab

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

Projekter 2010 2021

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.

Danmarks Frie Forskningsfond | Teknologi og Produktion

01/08/201731/07/2021

Projekter: ProjektAndet

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

Artemis JU

01/06/201230/09/2015

Projekter: ProjektForskning

Real time systems
Embedded systems
Ecosystems
Middleware
Energy management

RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms

Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.

FP7 ARTEMIS JU

01/04/201001/04/2013

Projekter: ProjektForskning

Costs

Publikationer 2003 2020

78 Downloads (Pure)

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

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Distributed Simulation and Real-Time Applications. IEEE Press, s. 1-10 10 s.

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

Åben adgang
Fil
Scheduling
8 Citationer (Scopus)
402 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
28 Downloads (Pure)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 nov. 2019, I : Journal of Aerospace Information Systems. 16, 11

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Avionics
Model checking
Stop watches
Communication
Ethernet
23 Downloads (Pure)
Åben adgang
Fil
Model predictive control
Model checking
Power electronics
Aviation
Sensor networks
1 Citation (Scopus)
53 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. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

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

Åben adgang
Fil