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...
Guardado en:
Autores principales: | , , , |
---|---|
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!
|
id |
oai:doaj.org-article:72f58f5d88a944ca8eaa771f1af2db1f |
---|---|
record_format |
dspace |
spelling |
oai:doaj.org-article:72f58f5d88a944ca8eaa771f1af2db1f2021-11-11T19:07:26ZA Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems10.3390/s212171171424-8220https://doaj.org/article/72f58f5d88a944ca8eaa771f1af2db1f2021-10-01T00:00:00Zhttps://www.mdpi.com/1424-8220/21/21/7117https://doaj.org/toc/1424-8220The 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.Aleix BeneytoVicenç PuigB. Wayne BequetteJosep VehiMDPI AGarticleartificial pancreashybrid automatonKalman filterpatient in the looptype 1 diabetesChemical technologyTP1-1185ENSensors, Vol 21, Iss 7117, p 7117 (2021) |
institution |
DOAJ |
collection |
DOAJ |
language |
EN |
topic |
artificial pancreas hybrid automaton Kalman filter patient in the loop type 1 diabetes Chemical technology TP1-1185 |
spellingShingle |
artificial pancreas hybrid automaton Kalman filter patient in the loop type 1 diabetes Chemical technology TP1-1185 Aleix Beneyto Vicenç Puig B. Wayne Bequette Josep Vehi A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
description |
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. |
format |
article |
author |
Aleix Beneyto Vicenç Puig B. Wayne Bequette Josep Vehi |
author_facet |
Aleix Beneyto Vicenç Puig B. Wayne Bequette Josep Vehi |
author_sort |
Aleix Beneyto |
title |
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
title_short |
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
title_full |
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
title_fullStr |
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
title_full_unstemmed |
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems |
title_sort |
hybrid automata approach for monitoring the patient in the loop in artificial pancreas systems |
publisher |
MDPI AG |
publishDate |
2021 |
url |
https://doaj.org/article/72f58f5d88a944ca8eaa771f1af2db1f |
work_keys_str_mv |
AT aleixbeneyto ahybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT vicencpuig ahybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT bwaynebequette ahybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT josepvehi ahybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT aleixbeneyto hybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT vicencpuig hybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT bwaynebequette hybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems AT josepvehi hybridautomataapproachformonitoringthepatientintheloopinartificialpancreassystems |
_version_ |
1718431590774734848 |