Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments
Authors:
Preprint
Abstract
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.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Optimal output feedback control of Timed Event Graphs including disturbances in a resource sharing environmentIFAC-PapersOnLine, 2022
- Max-Plus Algebra and Discrete Event SystemsIFAC-PapersOnLine, 2017
- Piecewise linear concave dynamical systems appearing in the microscopic traffic modelingLinear Algebra and its Applications, 2011
- Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event SystemsIEEE Transactions on Automatic Control, 2007
- Not necessarily closed convex polyhedra and the double description methodFormal Aspects of Computing, 2005
- Optimal stationary behavior for a class of timed continuous Petri netsAutomatica, 2004
- Max-plus algebra and system theory: Where we are and where to go nowAnnual Reviews in Control, 1999
- Constrained Semi-Markov decision processes with average rewardsMathematical Methods of Operations Research, 1994
- Linear lexicographic optimizationOR Spectrum, 1982
- Controlled Markov Processes1979