Browse by author
Lookup NU author(s): Dr Nigel Thomas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Improving patient flow is a way to refine health services. An efficient patient flow can improve the quality of services and the utilization of resources. A smart environment could facilitate the experience of individuals within a physical space, such as a hospital. Meanwhile, a smart healthcare environment could improve patient flow through an efficient scheduling policy and the utilization of healthcare resources by an optimized capacity plan. This paper, first, explores a dynamic scheduling policy to improve the patient flow, and an efficient capacity scheme based on the varying patient flow. This scheduling policy and the capacity scheme can be built in a smart hospital environment through wireless sensor networks and smart healthcare systems. The research applies a formal modeling approach that can provide a quantitative analysis of systems. This approach, performance evaluation process algebra, can give strict definitions for the patient flow in order to model the dynamic scheduling policy and the capacity scheme; moreover, it provides a scalable performance analysis by the fluid flow approximation. Finally, this paper is concerned with how formal method might be used to model and analyze the scheduling policy and the capacity plan on improving the healthcare service before deployment.
Author(s): Chen X, Wang LM, Ding J, Thomas N
Publication type: Article
Publication status: Published
Journal: IEEE Access
Year: 2016
Volume: 4
Pages: 135-148
Print publication date: 29/02/2016
Online publication date: 17/12/2015
Acceptance date: 09/12/2015
ISSN (electronic): 2169-3536
Publisher: IEEE
URL: http://dx.doi.org/10.1109/ACCESS.2015.2509013
DOI: 10.1109/ACCESS.2015.2509013
Altmetrics provided by Altmetric