Page 11 - Sirius_Annual_Report_2021

The two PhD topics at UiO will focus on safety in self- adaptive meta-controllers and on robustness of controllers with evolving knowledge-based systems. Technology developed in REMARO will be relevant for Digital Twins.
Smart Journey Mining (SJM)
SJM12 is a research project on digitalization of services. It started in 2021 and it is funded by the The Research Council of Norway. SJM is a consortium of experts in service science,
process mining and formal modelling and analysis. SJM is funding one PhD students at University of Oslo (UiO) and one postdoc at SINTEF. The PhD topic at UiO will focus on the development of predictive and prescriptive analysis to improve the user experience of services13. Technology developed in SJM can be relevant for the integrated digital planning and digitalization of information systems at SIRIUS.
[1] Tool documentation: https:/abs-models.org/
[2] Tool: https:/github.com/abstools/abstools
[3] Tutorial: https:/link.springer.com/chapter/10.1007/978-3-030-78142-2_1
[4] Webpage: https:/sirius-labs.no/integrated-digital-planning/
[5] Book: https:/www.iospress.com/catalog/books/handbook-of-satisfiability-2
[6] Paper: http:/ceur-ws.org/Vol-2954/paper-19.pdf
[7] Webpage: https:/fmi-standard.org/
[8] Webpage: https:/en.wikipedia.org/wiki/Rewriting
[9] Paper: https:/www.sciencedirect.com/science/article/pii/S1567832612000707
[10] Webpage: https:/sirius-labs.no/geological-assistant/
[11] Project: https:/remaro.eu/
[12] Project: https:/www.sintef.no/en/projects/2021/smart-journey-mining-towards-successful-digitalisation-of-services/
[13] Paper: https:/ieeexplore.ieee.org/document/9592471
Gianluca Turin
Chinmayi Baramashetru Paul Kobialka
Juliane Päßler
Tobias John
Erik Voogd
Team Members
Chi Mai Nguyen Rudolf Schlatte Violet Pun Einar Johnsen Ingrid Yu
S. Lizeth Tapia Tarifa Eduard Kamburjan
Collaboration
Semantic Technology Digital Twins
Contact
S. Lizeth Tapia Tarifa, email: sltarifa@ifi.uio.no
SIRIUS ANNUAL REPORT 2021
| 11