{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:34:40Z","timestamp":1784572480836,"version":"3.55.0"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031974380","type":"print"},{"value":"9783031974397","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97439-7_18","type":"book-chapter","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T11:04:18Z","timestamp":1756551858000},"page":"360-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["What-If Scenarios for\u00a0the\u00a0BedreFlyt Digital Twin"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-1957-4409","authenticated-orcid":false,"given":"\u00c5smund Aqissiaq","family":"Arild Kl\u00f8vstad","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0635-1915","authenticated-orcid":false,"given":"Paul","family":"Kobialka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8683-1902","authenticated-orcid":false,"given":"Riccardo","family":"Sieve","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9446-9541","authenticated-orcid":false,"given":"Andrea","family":"Pferscher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laura","family":"Slaughter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,30]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Alazab, M., et al.: Digital twins for Healthcare 4.0 - recent advances, architecture, and open challenges. IEEE Consum. Electron. Mag. 12(6), 29\u201337 (2023). https:\/\/doi.org\/10.1109\/MCE.2022.3208986","DOI":"10.1109\/MCE.2022.3208986"},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Almagooshi, S.: Simulation modelling in healthcare: challenges and trends. Procedia Manuf. 3, 301\u2013307 (2015). https:\/\/doi.org\/10.1016\/j.promfg.2015.07.155, 6th Int. Conf. on Applied Human Factors and Ergonomics and the Affiliated Conferences, AHFE 2015","DOI":"10.1016\/j.promfg.2015.07.155"},{"key":"18_CR3","doi-asserted-by":"publisher","unstructured":"Baier, C., Dubslaff, C., Wienh\u00f6ft, P., Kiebel, S.J.: Strategy synthesis in Markov decision processes under limited sampling access. In: Rozier, K.Y., Chaudhuri, S. (eds.) Proceedings of the 15th International Symposium of NASA Formal Methods - (NFM 2023). LNCS, vol. 13903, pp. 86\u2013103. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_6","DOI":"10.1007\/978-3-031-33170-1_6"},{"key":"18_CR4","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"18_CR5","doi-asserted-by":"publisher","unstructured":"Baier, C., Piribauer, J., Ziemek, R.: Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20(1) (2024). https:\/\/doi.org\/10.46298\/lmcs-20(1:4)2024","DOI":"10.46298\/lmcs-20(1:4)2024"},{"key":"18_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2024.102729","volume":"88","author":"A Billey","year":"2024","unstructured":"Billey, A., Wuest, T.: Energy digital twins in smart manufacturing systems: a case study. Robot. Comput. Integr. Manuf. 88, 102729 (2024). https:\/\/doi.org\/10.1016\/j.rcim.2024.102729","journal-title":"Robot. Comput. Integr. Manuf."},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, N.S., Phan, A., Fleckenstein, L.: $$\\nu $$z - an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). LNCS, vol.\u00a09035, pp. 194\u2013199. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_14","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"18_CR8","unstructured":"Casanova, G.: Histoire de ma vie. Robert Laffont (1993). manuscript originally written 1789\u20131798"},{"issue":"7","key":"18_CR9","doi-asserted-by":"publisher","first-page":"6449","DOI":"10.1109\/TITS.2024.3401716","volume":"25","author":"X Chang","year":"2024","unstructured":"Chang, X., Zhang, R., Mao, J., Fu, Y.: Digital twins in transportation infrastructure: an investigation of the key enabling technologies, applications, and challenges. IEEE Trans. Intell. Transp. Syst. 25(7), 6449\u20136471 (2024). https:\/\/doi.org\/10.1109\/TITS.2024.3401716","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"18_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/J.CIE.2022.108491","volume":"171","author":"J Chu","year":"2022","unstructured":"Chu, J., Li, X., Yuan, Z.: Emergency medical resource allocation among hospitals with non-regressive production technology: a DEA-based approach. Comput. Ind. Eng. 171, 108491 (2022). https:\/\/doi.org\/10.1016\/J.CIE.2022.108491","journal-title":"Comput. Ind. Eng."},{"issue":"5","key":"18_CR11","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1016\/j.jbi.2008.05.012","volume":"41","author":"J Dang","year":"2008","unstructured":"Dang, J., Hedayati, A., Hampel, K., Toklu, C.: An ontological knowledge framework for adaptive medical workflow. J. Biomed. Inform. 41(5), 829\u2013836 (2008). https:\/\/doi.org\/10.1016\/j.jbi.2008.05.012","journal-title":"J. Biomed. Inform."},{"key":"18_CR12","doi-asserted-by":"publisher","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Cham (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"23","key":"18_CR13","doi-asserted-by":"publisher","first-page":"16749","DOI":"10.1109\/JIOT.2021.3051158","volume":"8","author":"H Elayan","year":"2021","unstructured":"Elayan, H., Aloqaily, M., Guizani, M.: Digital twin for intelligent context-aware IoT healthcare systems. IEEE Internet Things J. 8(23), 16749\u201316757 (2021). https:\/\/doi.org\/10.1109\/JIOT.2021.3051158","journal-title":"IEEE Internet Things J."},{"key":"18_CR14","doi-asserted-by":"publisher","unstructured":"Elkefi, S., Asan, O.: Digital twins for managing health care systems: rapid literature review. J. Med. Internet Res. 24(8) (2022). https:\/\/doi.org\/10.2196\/37641","DOI":"10.2196\/37641"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/S11424-017-6178-5","volume":"30","author":"G Fan","year":"2017","unstructured":"Fan, G., Huang, H.: Scenario-based stochastic resource allocation with uncertain probability parameters. J. Syst. Sci. Complex. 30(2), 357\u2013377 (2017). https:\/\/doi.org\/10.1007\/S11424-017-6178-5","journal-title":"J. Syst. Sci. Complex."},{"issue":"1","key":"18_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10729-015-9335-1","volume":"20","author":"Y-Y Feng","year":"2015","unstructured":"Feng, Y.-Y., Wu, I.-C., Chen, T.-L.: Stochastic resource allocation in emergency departments with a multi-objective simulation optimization algorithm. Health Care Manag. Sci. 20(1), 55\u201375 (2015). https:\/\/doi.org\/10.1007\/s10729-015-9335-1","journal-title":"Health Care Manag. Sci."},{"key":"18_CR17","doi-asserted-by":"publisher","unstructured":"Fitzgerald, J., Gomes, C., Larsen, P.G. (eds.): The Engineering of Digital Twins. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-66719-0","DOI":"10.1007\/978-3-031-66719-0"},{"key":"18_CR18","doi-asserted-by":"publisher","unstructured":"Florencia, J., Moyaux, T., Trilling, L., Bouleux, G., Cheutet, V.: Toward improving dynamic resource scheduling in the context of digital twin of emergency department. IEEE Trans. Autom. Sci. Eng. 1\u201313 (2024). https:\/\/doi.org\/10.1109\/TASE.2024.3463489","DOI":"10.1109\/TASE.2024.3463489"},{"key":"18_CR19","doi-asserted-by":"publisher","unstructured":"Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 63\u201378. PLDI \u201919, ACM (June 2019). https:\/\/doi.org\/10.1145\/3314221.3314633","DOI":"10.1145\/3314221.3314633"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Garcia-Vicu\u00f1a, D., L\u00f3pez-Cheda, A., J\u00e1come, M.A., Mallor, F.: Estimation of patient flow in hospitals using up-to-date data. Application to bed demand prediction during pandemic waves. PLOS ONE 18(2) (2023). https:\/\/doi.org\/10.1371\/journal.pone.0282331","DOI":"10.1371\/journal.pone.0282331"},{"key":"18_CR21","doi-asserted-by":"publisher","unstructured":"Haj\u0142asz, M., Mielczarek, B.: Simulation modeling for predicting hospital admissions and bed utilisation. Oper. Res. Decis. 30(3) (2020). https:\/\/doi.org\/10.37190\/ord200301","DOI":"10.37190\/ord200301"},{"key":"18_CR22","doi-asserted-by":"publisher","unstructured":"Hasan, A., Widyotriatmo, A., Fagerhaug, E., Osen, O.: Predictive digital twins for autonomous ships. In: Proceedings of the Conference on Control Technology and Applications (CCTA 2023), pp. 1128\u20131133. IEEE (2023). https:\/\/doi.org\/10.1109\/CCTA54093.2023.10252433","DOI":"10.1109\/CCTA54093.2023.10252433"},{"issue":"3","key":"18_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.3390\/BDCC6030083","volume":"6","author":"H Hassani","year":"2022","unstructured":"Hassani, H., Huang, X., MacFeely, S.: Impactful digital twin in the healthcare revolution. Big Data Cogn. Comput. 6(3), 83 (2022). https:\/\/doi.org\/10.3390\/BDCC6030083","journal-title":"Big Data Cogn. Comput."},{"key":"18_CR24","doi-asserted-by":"publisher","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman and Hall\/CRC Press, Boca Raton (2010). https:\/\/doi.org\/10.1201\/9781420090512","DOI":"10.1201\/9781420090512"},{"key":"18_CR25","doi-asserted-by":"publisher","unstructured":"Hu, X., Cao, H., Shi, J., Dai, Y., Dai, W.: Study of hospital emergency resource scheduling based on digital twin technology. In: 2021 IEEE 2nd International Conference on Information Technology, Big Data and Artificial Intelligence (ICIBA), vol.\u00a02, pp. 1059\u20131063 (2021). https:\/\/doi.org\/10.1109\/ICIBA52610.2021.9688239","DOI":"10.1109\/ICIBA52610.2021.9688239"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"90353","DOI":"10.1109\/ACCESS.2024.3420741","volume":"12","author":"AK Jameil","year":"2024","unstructured":"Jameil, A.K., Al-Raweshidy, H.S.: AI-enabled healthcare and enhanced computational resource management with digital twins into task offloading strategies. IEEE Access 12, 90353\u201390370 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3420741","journal-title":"IEEE Access"},{"issue":"2","key":"18_CR27","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/TNNLS.2021.3070843","volume":"33","author":"S Ji","year":"2022","unstructured":"Ji, S., Pan, S., Cambria, E., Marttinen, P., Yu, P.S.: A survey on knowledge graphs: representation, acquisition, and applications. IEEE Trans. Neural Netw. Learn. Syst. 33(2), 494\u2013514 (2022). https:\/\/doi.org\/10.1109\/TNNLS.2021.3070843","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"18_CR28","doi-asserted-by":"publisher","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects. FMCO 2010. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8","DOI":"10.1007\/978-3-642-25271-6_8"},{"issue":"1","key":"18_CR29","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/J.JLAMP.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84(1), 67\u201391 (2015). https:\/\/doi.org\/10.1016\/J.JLAMP.2014.07.001","journal-title":"J. Log. Algebraic Methods Program."},{"key":"18_CR30","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Johnsen, E.B., Giese, M.: Programming and debugging with semantically lifted states. In: Verborgh, R., et al. (eds.) The Semantic Web. ESWC 2021. LNCS, vol. 12731, pp. 126\u2013142. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77385-4_8","DOI":"10.1007\/978-3-030-77385-4_8"},{"key":"18_CR31","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Tapia\u00a0Tarifa, S.L., Cameron, D., Johnsen, E.B.: Digital twin reconfiguration using asset models. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Practice. ISoLA 2022. LNCS, vol. 13704, pp. 71\u201388. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_6","DOI":"10.1007\/978-3-031-19762-8_6"},{"key":"18_CR32","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Pferscher, A., Schlatte, R., Sieve, R., Tapia\u00a0Tarifa, S.L., Johnsen, E.B.: Semantic reflection and digital twins: a comprehensive overview. In: Hinchey, M., Steffen, B. (eds.) The Combined Power of Research, Education, and Dissemination. LNCS, vol. 15240, pp. 129\u2013145. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-73887-6_11","DOI":"10.1007\/978-3-031-73887-6_11"},{"key":"18_CR33","doi-asserted-by":"publisher","unstructured":"Kaul, R., et al.: The role of AI for developing digital twins in healthcare: the case of cancer care. WIREs Data Min. Knowl. Discov. 13(1) (2023). https:\/\/doi.org\/10.1002\/widm.1480","DOI":"10.1002\/widm.1480"},{"key":"18_CR34","doi-asserted-by":"publisher","unstructured":"Kobialka, P., Pferscher, A., Bergersen, G.R., Johnsen, E.B., Tapia Tarifa, S.L.: Stochastic games for user journeys. In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds.) Formal Methods. FM 2024. LNCS, vol. 14934, pp. 167\u2013186. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_12","DOI":"10.1007\/978-3-031-71177-0_12"},{"issue":"2","key":"18_CR35","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.cosrev.2009.04.002","volume":"3","author":"E Koutsoupias","year":"2009","unstructured":"Koutsoupias, E.: The k-server problem. Comput. Sci. Rev. 3(2), 105\u2013118 (2009). https:\/\/doi.org\/10.1016\/j.cosrev.2009.04.002","journal-title":"Comput. Sci. Rev."},{"key":"18_CR36","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENGAPPAI.2023.106783","volume":"126","author":"T Lazebnik","year":"2023","unstructured":"Lazebnik, T.: Data-driven hospitals staff and resources allocation using agent-based simulation and deep reinforcement learning. Eng. Appl. Artif. Intell. 126, 106783 (2023). https:\/\/doi.org\/10.1016\/J.ENGAPPAI.2023.106783","journal-title":"Eng. Appl. Artif. Intell."},{"key":"18_CR37","doi-asserted-by":"publisher","first-page":"49088","DOI":"10.1109\/ACCESS.2019.2909828","volume":"7","author":"Y Liu","year":"2019","unstructured":"Liu, Y., et al.: A novel cloud-based framework for the elderly healthcare services using digital twin. IEEE Access 7, 49088\u201349101 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2909828","journal-title":"IEEE Access"},{"key":"18_CR38","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/J.COR.2013.12.010","volume":"46","author":"SH Melouk","year":"2014","unstructured":"Melouk, S.H., Fontem, B.A., Waymire, E., Hall, S.N.: Stochastic resource allocation using a predictor-based heuristic for optimization via simulation. Comput. Oper. Res. 46, 38\u201348 (2014). https:\/\/doi.org\/10.1016\/J.COR.2013.12.010","journal-title":"Comput. Oper. Res."},{"key":"18_CR39","doi-asserted-by":"publisher","first-page":"69841","DOI":"10.1109\/ACCESS.2023.3292119","volume":"11","author":"N Mohamed","year":"2023","unstructured":"Mohamed, N., Al-Jaroodi, J., Jawhar, I., Kesserwan, N.: Leveraging digital twins for healthcare systems engineering. IEEE Access 11, 69841\u201369853 (2023). https:\/\/doi.org\/10.1109\/ACCESS.2023.3292119","journal-title":"IEEE Access"},{"key":"18_CR40","doi-asserted-by":"publisher","unstructured":"Mukamel, D., Zwanziger, J., Bamezai, A.: Hospital competition, resource allocation and quality of care. BMC Health Serv. Res. 2, 10 (2002). https:\/\/doi.org\/10.1186\/1472-6963-2-10","DOI":"10.1186\/1472-6963-2-10"},{"key":"18_CR41","doi-asserted-by":"publisher","unstructured":"National Academies of Sciences, Engineering, and Medicine (NASEM): Foundational Research Gaps and Future Directions for Digital Twins. The National Academies Press (2024). https:\/\/doi.org\/10.17226\/26894","DOI":"10.17226\/26894"},{"key":"18_CR42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2022.104240","volume":"136","author":"J Neumann","year":"2022","unstructured":"Neumann, J., et al.: Ontology-based surgical workflow recognition and prediction. J. Biomed. Inform. 136, 104240 (2022). https:\/\/doi.org\/10.1016\/j.jbi.2022.104240","journal-title":"J. Biomed. Inform."},{"issue":"3","key":"18_CR43","doi-asserted-by":"publisher","first-page":"3133","DOI":"10.1109\/TII.2022.3184070","volume":"19","author":"K Peng","year":"2023","unstructured":"Peng, K., Huang, H., Bilal, M., Xu, X.: Distributed incentives for intelligent offloading and resource allocation in digital twin driven smart industry. IEEE Trans. Ind. Inform. 19(3), 3133\u20133143 (2023). https:\/\/doi.org\/10.1109\/TII.2022.3184070","journal-title":"IEEE Trans. Ind. Inform."},{"key":"18_CR44","doi-asserted-by":"publisher","unstructured":"Pitt, M.: A generalised simulation system to support strategic resource planning in healthcare. In: Proceedings of the 29th Conference on Winter Simulation (WSC\u201997), pp. 1155\u20131162. ACM (1997). https:\/\/doi.org\/10.1109\/WSC.1997.641004","DOI":"10.1109\/WSC.1997.641004"},{"issue":"3","key":"18_CR45","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MIS.2006.62","volume":"21","author":"N Shadbolt","year":"2006","unstructured":"Shadbolt, N., Berners-Lee, T., Hall, W.: The semantic web revisited. IEEE Intell. Syst. 21(3), 96\u2013101 (2006). https:\/\/doi.org\/10.1109\/MIS.2006.62","journal-title":"IEEE Intell. Syst."},{"key":"18_CR46","doi-asserted-by":"publisher","unstructured":"Sharma, V., Abel, J., Al-Hussein, M., Lennerts, K., Pfr\u00fcnder, U.: Simulation application for resource allocation in facility management processes in hospitals. Facilities 25, 493\u2013506 (2007). https:\/\/doi.org\/10.1108\/02632770710822599","DOI":"10.1108\/02632770710822599"},{"key":"18_CR47","doi-asserted-by":"publisher","unstructured":"Sieve, R., Kobialka, P., Slaughter, L., Schlatte, R., Johnsen, E.B., Tapia Tarifa, S.L.: BedreFlyt: improving patient flows through hospital wards with digital twins. In: Proc. 1st Intl. Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins (ASQAP 2025). Electronic Proceedings in Theoretical Computer Science, vol. 418, pp. 1\u201315. Open Publishing Association (2025). https:\/\/doi.org\/10.4204\/EPTCS.418.1","DOI":"10.4204\/EPTCS.418.1"},{"key":"18_CR48","doi-asserted-by":"publisher","unstructured":"Steward, J., et al.: Unleashing the power of what if: cloud-enabled high performance computing workflows in digital twins for scenario exploration. In: Proceedings of the International Geoscience and Remote Sensing Symposium (IGARSS 2024), pp. 2315\u20132318. IEEE (2024). https:\/\/doi.org\/10.1109\/IGARSS53475.2024.10642587","DOI":"10.1109\/IGARSS53475.2024.10642587"},{"issue":"8","key":"18_CR49","doi-asserted-by":"publisher","first-page":"5839","DOI":"10.1109\/JIOT.2021.3058213","volume":"9","author":"W Sun","year":"2022","unstructured":"Sun, W., Wang, P., Xu, N., Wang, G., Zhang, Y.: Dynamic digital twin and distributed incentives for resource allocation in aerial-assisted internet of vehicles. IEEE Internet Things J. 9(8), 5839\u20135852 (2022). https:\/\/doi.org\/10.1109\/JIOT.2021.3058213","journal-title":"IEEE Internet Things J."},{"key":"18_CR50","doi-asserted-by":"publisher","unstructured":"Taieb, C., Tlili, T., Nouaouri, I., Krichen, S.: Towards an efficient hospital allocation to patients with resource constraints. In: 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024), pp. 2284\u20132289. IEEE (2024). https:\/\/doi.org\/10.1109\/CODIT62066.2024.10708224","DOI":"10.1109\/CODIT62066.2024.10708224"},{"key":"18_CR51","doi-asserted-by":"publisher","first-page":"1253050","DOI":"10.3389\/fdgth.2023.1253050","volume":"5","author":"A Vall\u00e9e","year":"2023","unstructured":"Vall\u00e9e, A.: Digital twin for healthcare systems. Front. Digit. Health 5, 1253050 (2023). https:\/\/doi.org\/10.3389\/fdgth.2023.1253050","journal-title":"Front. Digit. Health"},{"key":"18_CR52","doi-asserted-by":"publisher","unstructured":"Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. Wiley-IEEE Computer Society Press, Hoboken (February 2021). https:\/\/doi.org\/10.1002\/9781119574910","DOI":"10.1002\/9781119574910"},{"key":"18_CR53","doi-asserted-by":"publisher","unstructured":"Wienh\u00f6ft, P., Suilen, M., Sim\u00e3o, T.D., Dubslaff, C., Baier, C., Jansen, N.: More for less: safe policy improvement with stronger performance guarantees. In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), pp. 4406\u20134415. ijcai.org (2023). https:\/\/doi.org\/10.24963\/IJCAI.2023\/490","DOI":"10.24963\/IJCAI.2023\/490"},{"key":"18_CR54","doi-asserted-by":"publisher","unstructured":"Wilk, S., et al.: An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team. Int. J. Med. Inform. 136 (2020). https:\/\/doi.org\/10.1016\/j.ijmedinf.2020.104075","DOI":"10.1016\/j.ijmedinf.2020.104075"},{"issue":"3","key":"18_CR55","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1038\/S43588-024-00609-4","volume":"4","author":"K Willcox","year":"2024","unstructured":"Willcox, K., Segundo, B.: The role of computational science in digital twins. Nat. Comput. Sci. 4(3), 147\u2013149 (2024). https:\/\/doi.org\/10.1038\/S43588-024-00609-4","journal-title":"Nat. Comput. Sci."},{"key":"18_CR56","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.healthpol.2006.03.014","volume":"80","author":"N Withanachchi","year":"2007","unstructured":"Withanachchi, N., Uchida, Y., Nanayakkara, S., Samaranayake, D., Okitsu, A.: Resource allocation in public hospitals: Is it effective? Health Policy 80, 308\u2013313 (2007). https:\/\/doi.org\/10.1016\/j.healthpol.2006.03.014","journal-title":"Health Policy"},{"key":"18_CR57","doi-asserted-by":"publisher","first-page":"4099","DOI":"10.1109\/ACCESS.2023.3349379","volume":"12","author":"MD Xames","year":"2024","unstructured":"Xames, M.D., Topcu, T.G.: A systematic literature review of digital twin research for healthcare systems: research trends, gaps, and realization challenges. IEEE Access 12, 4099\u20134126 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2023.3349379","journal-title":"IEEE Access"},{"issue":"8","key":"18_CR58","doi-asserted-by":"publisher","first-page":"2747","DOI":"10.1109\/TEM.2021.3098541","volume":"70","author":"W Yu","year":"2023","unstructured":"Yu, W., Liu, Q., Zhao, G., Song, Y.: Exploring the effects of data-driven hospital operations on operational performance from the resource orchestration theory perspective. IEEE Trans. Eng. Manag. 70(8), 2747\u20132759 (2023). https:\/\/doi.org\/10.1109\/TEM.2021.3098541","journal-title":"IEEE Trans. Eng. Manag."},{"key":"18_CR59","doi-asserted-by":"publisher","unstructured":"Zhu, T., Liao, P., Luo, L., Ye, H.Q.: Data-driven models for capacity allocation of inpatient beds in a Chinese public hospital. Comput. Math. Methods Med. 2020(1) (2020). https:\/\/doi.org\/10.1155\/2020\/8740457","DOI":"10.1155\/2020\/8740457"}],"container-title":["Lecture Notes in Computer Science","Principles of Formal Quantitative Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97439-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T15:28:43Z","timestamp":1777476523000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97439-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"ISBN":["9783031974380","9783031974397"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97439-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,30]]},"assertion":[{"value":"30 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}