Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
-
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.
Projekter: Projekt › Forskning
-
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 okt. 2023, (Accepteret/In press) Annual Conference of the IEEE Industrial Electronics Society (IECON) 2023.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
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 maj 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13903 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
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, s. 565-573 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil2 Citationer (Scopus)26 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, 11Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)130 Downloads (Pure)
Forskningsdatasæt
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Datasæt