Projects per year
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
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 1 Finished
-
Digital technologies for Industry 4.0
Berardinelli, G. (Project Coordinator), Nyman, U. (Project Participant), Schjørring, A. (Project Participant), Schiøler, H. (Project Participant), Tan, Z.-H. (Project Participant), Popovski, P. (Project Participant), Kristjansen, M. (Project Participant), Klicius, N. (Project Participant), Xie, Y. (Project Participant), Chiariotti, F. (Project Participant) & Kalør, A. E. (Project Participant)
01/03/2019 → 28/02/2021
Project: Research
-
Performance Analysis of Stochastic Digraph Real-Time Task Model
Kristjansen, M. & Larsen, K. G., 23 Oct 2024, Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career. Graf, S., Petterson, P. & Steffen, B. (eds.). Springer, p. 98-119 22 p. (Lecture Notes in Computer Science, Vol. 15230).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego
Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE (Institute of Electrical and Electronics Engineers), 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)70 Downloads (Pure) -
Learning Symbolic Timed Models from Concrete Timed Data
Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)23 Downloads (Pure) -
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
File6 Citations (Scopus)64 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, In: Journal of Aerospace Information Systems. 16, 11Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Citations (Scopus)223 Downloads (Pure)
Datasets
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission
Bøgh, S. (Creator), Jensen, P. G. (Creator), Kristjansen, M. (Creator), Nyman, U. (Creator) & Larsen, K. G. (Creator), Zenodo, 25 Mar 2022
DOI: 10.5281/zenodo.6385690, https://zenodo.org/record/6385690
Dataset