BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912368568565760 |
|---|---|
| author | Sieve, Riccardo Kobialka, Paul Slaughter, Laura Schlatte, Rudolf Johnsen, Einar Broch Tarifa, Silvia Lizeth Tapia |
| author_facet | Sieve, Riccardo Kobialka, Paul Slaughter, Laura Schlatte, Rudolf Johnsen, Einar Broch Tarifa, Silvia Lizeth Tapia |
| contents | Digital twins are emerging as a valuable tool for short-term decision-making as well as for long-term strategic planning across numerous domains, including process industry, energy, space, transport, and healthcare. This paper reports on our ongoing work on designing a digital twin to enhance resource planning, e.g., for the in-patient ward needs in hospitals. By leveraging executable formal models for system exploration, ontologies for knowledge representation and an SMT solver for constraint satisfiability, our approach aims to explore hypothetical "what-if" scenarios to improve strategic planning processes, as well as to solve concrete, short-term decision-making tasks. Our proposed solution uses the executable formal model to turn a stream of arriving patients, that need to be hospitalized, into a stream of optimization problems, e.g., capturing daily inpatient ward needs, that can be solved by SMT techniques. The knowledge base, which formalizes domain knowledge, is used to model the needed configuration in the digital twin, allowing the twin to support both short-term decision-making and long-term strategic planning by generating scenarios spanning average-case as well as worst-case resource needs, depending on the expected treatment of patients, as well as ranging over variations in available resources, e.g., bed distribution in different rooms. We illustrate our digital twin architecture by considering the problem of bed bay allocation in a hospital ward. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_06287 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins Sieve, Riccardo Kobialka, Paul Slaughter, Laura Schlatte, Rudolf Johnsen, Einar Broch Tarifa, Silvia Lizeth Tapia Artificial Intelligence Emerging Technologies Logic in Computer Science D.2.2; D.2.4; J.3 Digital twins are emerging as a valuable tool for short-term decision-making as well as for long-term strategic planning across numerous domains, including process industry, energy, space, transport, and healthcare. This paper reports on our ongoing work on designing a digital twin to enhance resource planning, e.g., for the in-patient ward needs in hospitals. By leveraging executable formal models for system exploration, ontologies for knowledge representation and an SMT solver for constraint satisfiability, our approach aims to explore hypothetical "what-if" scenarios to improve strategic planning processes, as well as to solve concrete, short-term decision-making tasks. Our proposed solution uses the executable formal model to turn a stream of arriving patients, that need to be hospitalized, into a stream of optimization problems, e.g., capturing daily inpatient ward needs, that can be solved by SMT techniques. The knowledge base, which formalizes domain knowledge, is used to model the needed configuration in the digital twin, allowing the twin to support both short-term decision-making and long-term strategic planning by generating scenarios spanning average-case as well as worst-case resource needs, depending on the expected treatment of patients, as well as ranging over variations in available resources, e.g., bed distribution in different rooms. We illustrate our digital twin architecture by considering the problem of bed bay allocation in a hospital ward. |
| title | BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins |
| topic | Artificial Intelligence Emerging Technologies Logic in Computer Science D.2.2; D.2.4; J.3 |
| url | https://arxiv.org/abs/2505.06287 |