A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems

The use of automated insulin delivery systems has become a reality for people with type 1 diabetes (T1D), with several hybrid systems already on the market. One of the particularities of this technology is that the patient is in the loop. People with T1D are the plant to control and also a plant ope...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aleix Beneyto, Vicenç Puig, B. Wayne Bequette, Josep Vehi
Formato: article
Lenguaje:EN
Publicado: MDPI AG 2021
Materias:
Acceso en línea:https://doaj.org/article/72f58f5d88a944ca8eaa771f1af2db1f
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción
Sumario:The use of automated insulin delivery systems has become a reality for people with type 1 diabetes (T1D), with several hybrid systems already on the market. One of the particularities of this technology is that the patient is in the loop. People with T1D are the plant to control and also a plant operator, because they may have to provide information to the control loop. The most immediate information provided by patients that affects performance and safety are the announcement of meals and exercise. Therefore, to ensure safety and performance, the human factor impact needs to be addressed by designing fault monitoring strategies. In this paper, a monitoring system is developed to diagnose potential patient modes and faults. The monitoring system is based on the residual generation of a bank of observers. To that aim, a linear parameter varying (LPV) polytopic representation of the system is adopted and a bank of Kalman filters is designed using linear matrix inequalities (LMI). The system uncertainty is propagated using a zonotopic-set representation, which allows determining confidence bounds for each of the observer outputs and residuals. For the detection of modes, a hybrid automaton model is generated and diagnosis is performed by interpreting the events and transitions within the automaton. The developed system is tested in simulation, showing the potential benefits of using the proposed approach for artificial pancreas systems.