Projekter 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
- 1 Afsluttet
-
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.
01/03/2019 → 28/02/2021
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 nov. 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)46 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 maj 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (LNCS), Bind 13903 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)7 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, 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
Fil5 Citationer (Scopus)53 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 adgangFil5 Citationer (Scopus)205 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
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission
Bøgh, S. (Ophavsperson), Jensen, P. G. (Ophavsperson), Kristjansen, M. (Ophavsperson), Nyman, U. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Zenodo, 25 mar. 2022
DOI: 10.5281/zenodo.6385690, https://zenodo.org/record/6385690
Datasæt