Passer à la navigation principale Passer à la recherche Passer au contenu principal

Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

Résumé

Medical emergency departments are complex systems in which patients must be treated according to priority rules based on the severity of their condition. We develop a model of emergency departments using Petri nets with priorities, described by nonmonotone piecewise linear dynamical systems. The collection of stationary solutions of such systems forms a “phase diagram”, in which each phase corresponds to a subset of bottleneck resources (like senior doctors, interns, nurses, consultation rooms, etc.). Since the number of phases is generally exponential in the number of resources, developing automated methods is essential to tackle realistic models. We develop a general method to compute congestion diagrams. A key ingredient is a polynomial time algorithm to test whether a given “policy” (configuration of bottleneck tasks) is achievable by a choice of resources. This is done by reduction to a feasibility problem for an unusual class of lexicographic polyhedra. Furthermore, we show that each policy uniquely determines the system’s throughput. We apply our approach to a case study, analyzing a simplified model of an emergency department from Assistance Publique – Hôpitaux de Paris.

langue originaleAnglais
titreQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings
rédacteurs en chefPavithra Prabhakar, Andrea Vandin
EditeurSpringer Science and Business Media Deutschland GmbH
Pages487-505
Nombre de pages19
ISBN (imprimé)9783032057914
Les DOIs
étatPublié - 1 janv. 2026
Evénement2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025 - Aarhus, Danemark
Durée: 26 août 202528 août 2025

Série de publications

NomLecture Notes in Computer Science
Volume16143 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025
Pays/TerritoireDanemark
La villeAarhus
période26/08/2528/08/25

Empreinte digitale

Examiner les sujets de recherche de « Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation