Dynamic Scheduling Policy for Patient Flow in a Smart Environment

Given the popularity of smart environment in a hospital involving the participation of a large group of patients, scheduling of patients towards their desired des-tination is still being a challenging issue. With the devel-opment of Internet of Things (IoT), smart environments are increasingly being deployed in various public scenar-ios and in particular, hospitals are an important target environment for smart environments. This paper models a dynamic scheduling policy based on a patient flow sce-nario in order to solve the queuing issue and facilitate peo-ple's experience. The dynamic scheduling policy aims to forward incoming patients to dissolve jams especially at the peaks by giving accurate predication of appointment time. The main modelling technique is a formal method— Performance evaluation process algebra (PEPA). The findings show that the dynamic scheduling policy is able to efficiently improve the patient flow.