Projects per year
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.
- 1 Similar Profiles
Network
Dive into details by clicking on the dots.
-
Digital technologies for Industry 4.0
Berardinelli, G., Nyman, U., Schjørring, A., Schiøler, H., Tan, Z., Popovski, P., Kristjansen, M., Klicius, N., Xie, Y., Chiariotti, F. & Kalør, A. E.
Project: Research
-
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.
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other
-
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.
01/06/2012 → 30/09/2015
Project: Research
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.
01/04/2010 → 01/04/2013
Project: Research
Research output
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control
Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, p. 565-573 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File1 Citation (Scopus)20 Downloads (Pure) -
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters
Novak, M., Grobelna, I., Nyman, U., Szczesniak, P. & Blaabjerg, F., 1 Sept 2023, In: IEEE Transactions on Industrial Electronics. 70, 9, p. 8613-8623 11 p., 9896732.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile52 Downloads (Pure) -
Monte Carlo Tree Search for Priced Timed Automata
Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile44 Downloads (Pure) -
Randomized reachability analysis in UPPAAL: fast error detection in timed systems*
Kiviriga, A., Larsen, K. G. & Nyman, U., 17 Nov 2022, In: International Journal on Software Tools for Technology Transfer. 24, 6, p. 1025-1042 18 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
1 Citation (Scopus) -
Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter
Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)45 Downloads (Pure)
Press/Media
-
Ni AAU-forskere modtager millioner fra Det Frie Forskningsråd
Jens Laurids Sørensen, Jesper Jensen, Kathrine Vitus, Troels Pedersen, Morten Mattrup Smedskjær, Rafal Wisniewski, Jesper Møller, Ulrik Mathias Nyman & Elisabeth De Carvalho
19/05/2017
4 items of Media coverage
Press/Media: Press / Media
-
Eksperternes gode råd: Sådan kommer du i gang med smarte produkter
13/07/2016
1 item of Media coverage
Press/Media: Press / Media
-
-
Tre AAU-hold med til DM i indlejrede systemer
03/04/2014
1 item of Media coverage
Press/Media: Press / Media
-
Studerende udvikler mobil kalender til autister
16/08/2012
1 item of Media coverage
Press/Media: Press / Media