1
|
Pompa M, Panunzi S, Borri A, D’Orsi L, De Gaetano A. "MoSpec": A customized and integrated system for model development, verification and validation. PLoS One 2025; 20:e0316401. [PMID: 39746065 PMCID: PMC11695006 DOI: 10.1371/journal.pone.0316401] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 06/06/2024] [Accepted: 12/10/2024] [Indexed: 01/04/2025] Open
Abstract
BACKGROUND AND OBJECTIVE The growing availability of patient data from several clinical settings, fueled by advanced analysis systems and new diagnostics, presents a unique opportunity. These data can be used to understand disease progression and predict future outcomes. However, analysing this vast amount of data requires collaboration between physicians and experts from diverse fields like mathematics and engineering. METHODS Mathematical models play a crucial role in interpreting patient data and enable in-silico simulations for diagnosis and treatment. To facilitate the creation and sharing of such models, the CNR-IASI BioMatLab group developed the "Gemini" (MoSpec/Autocoder) system, a framework allowing researchers with basic mathematical knowledge to quickly and correctly translate biological problems into Ordinary Differential Equations models. The system facilitates the development and computation of mathematical models for the interpretation of medical and biological phenomena, also using data from the clinical setting or laboratory experiments for parameter estimation. RESULTS Gemini automatically generates code in multiple languages (C++, Matlab, R, and Julia) and automatically creates documentation, including code, figures, and visualizations. CONCLUSIONS This user-friendly approach promotes model sharing and collaboration among researchers, besides vastly increasing group productivity.
Collapse
Affiliation(s)
- Marcello Pompa
- Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy
| | - Simona Panunzi
- Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy
| | - Alessandro Borri
- Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy
| | - Laura D’Orsi
- Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy
| | - Andrea De Gaetano
- Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy
- Institute for Biomedical Research and Innovation (IRIB), National Research Council of Italy, Palermo, Italy
- Dept. of Biomatics Óbuda University, Budapest, Hungary
| |
Collapse
|
2
|
Farman M, Hasan A, Xu C, Nisar KS, Hincal E. Computational techniques to monitoring fractional order type-1 diabetes mellitus model for feedback design of artificial pancreas. COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE 2024; 257:108420. [PMID: 39303363 DOI: 10.1016/j.cmpb.2024.108420] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Received: 07/12/2024] [Revised: 09/03/2024] [Accepted: 09/09/2024] [Indexed: 09/22/2024]
Abstract
BACKGROUND AND OBJECTIVES In this paper, we developed a significant class of control issues regulated by nonlinear fractal order systems with input and output signals, our goal is to design a direct transcription method with impulsive instant order. Recent advances in the artificial pancreas system provide an emerging treatment option for type 1 diabetes. The performance of the blood glucose regulation directly relies on the accuracy of the glucose-insulin modeling. This work leads to the monitoring and assessment of comprehensive type-1 diabetes mellitus for controller design of artificial panaceas for the precision of the glucose-insulin glucagon in finite time with Caputo fractional approach for three primary subsystems. METHODS For the proposed model, we admire the qualitative analysis with equilibrium points lying in the feasible region. Model satisfied the biological feasibility with the Lipschitz criteria and linear growth is examined, considering positive solutions, boundedness and uniqueness at equilibrium points with Leray-Schauder results under time scale ideas. Within each subsystem, the virtual control input laws are derived by the application of input to state theorems and Ulam Hyers Rassias. RESULTS Chaotic Relation of Glucose insulin glucagon compartmental in the feasible region and stable in finite time interval monitoring is derived through simulations that are stable and bounded in the feasible regions. Additionally, as blood glucose is the only measurable state variable, the unscented power-law kernel estimator appropriately takes into account the significant problem of estimating inaccessible state variables that are bound to significant values for the glucose-insulin system. The comparative results on the simulated patients suggest that the suggested controller strategy performs remarkably better than the compared methods. CONCLUSION In the model under investigation, parametric uncertainties are identified since the glucose, insulin, and glucagon system's parameters are accurately measured numerically at different fractional order values. In terms of algorithm resilience and Caputo tracking in the presence of glucagon and insulin intake disturbance to maintain the glucose level. A comprehensive analysis of numerous difficult test issues is conducted in order to offer a thorough justification of the planned strategy to control the type 1 diabetes mellitus with designed the artificial pancreas.
Collapse
Affiliation(s)
- Muhammad Farman
- Department of Mathematics,Faculty of Science and Technology, Universitas Airlangga, Surabaya, Indonesia; Department of Computer Science and Mathematics, Lebanese American University, 1107-2020, Beirut, Lebanon
| | - Ali Hasan
- Department of Mathematics and Statistics, The University of Lahore, Pakistan
| | - Changjin Xu
- Guizhou Key Laboratory of Economics System Simulation, Guizhou University of Finance and Economics, Guiyang 550025, PR China.
| | - Kottakkaran Sooppy Nisar
- Department of Mathematics, College of Science and Humanities in Alkharj, Prince Sattam Bin Abdulaziz University, Alkharj 11942, Saudi Arabia; Hourani Center for Applied Scientific Research, Al-Ahliyya Amman University, Jordan
| | - Evren Hincal
- Faculty of Arts and sciences, Department of Mathematics, Near East University, 99138 Nicosia, Cyprus
| |
Collapse
|
3
|
Saleem O, Iqbal J. Blood-glucose regulator design for diabetics based on LQIR-driven Sliding-Mode-Controller with self-adaptive reaching law. PLoS One 2024; 19:e0314479. [PMID: 39602484 PMCID: PMC11602081 DOI: 10.1371/journal.pone.0314479] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/24/2024] [Accepted: 11/11/2024] [Indexed: 11/29/2024] Open
Abstract
Type I Diabetes is an endocrine disorder that prevents the pancreas from regulating the blood glucose (BG) levels in a patient's body. The ubiquitous Linear-Quadratic-Integral-Regulator (LQIR) is an optimal glycemic regulation strategy; however, it is not resilient enough to withstand measurement noise and meal disruptions. The Sliding-Mode-Controller (SMC) yields robust BG regulation effort at the expense of a discontinuous insulin infusion rate that perturbs the BG concentrations. Hence, the novel contribution of this article is the formulation of a hybridized LQIR-driven SMC strategy that retrieves the benefits of the aforesaid control schemes while avoiding their inherent problems. The proposed control approach is realized by linearly combining a glycemic LQIR law with an innovative sign function sliding mode reaching law that is driven by a customized LQIR-driven sliding surface. The hybridized control scheme generates optimal control decisions yielded by the LQIR while mimicking the robustness characteristic of SMC against bounded exogenous disturbances. Additionally, the SMC reaching law in the proposed control scheme is augmented with a nonlinear adaptation mechanism that flexibly modulates the control activity to effectively compensate for the external perturbations while minimizing the chattering content. The controller parameters are numerically optimized offline. The efficacy of the prescribed hybrid control law is analyzed via customized MATLAB simulations that normalize the patient's BG level to 80 mg/dL, under measurement noise and meal disruptions, from an initial hyperglycemic state. The results justify the improved BG regulation accuracy and disturbance-rejection capability of the proposed control procedure.
Collapse
Affiliation(s)
- Omer Saleem
- Department of Electrical Engineering, National University of Computer and Emerging Sciences, Lahore, Pakistan
| | - Jamshed Iqbal
- School of Computer Science, Faculty of Science and Engineering, University of Hull, Hull, United Kingdom
| |
Collapse
|
4
|
Chellamuthu Kalaimani S, Jeyakumar V. Hardware design for blood glucose control based on the Sorensen diabetic patient model using a robust evolving cloud-based controller. Comput Methods Biomech Biomed Engin 2024; 27:2246-2267. [PMID: 37909209 DOI: 10.1080/10255842.2023.2275545] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 07/07/2023] [Revised: 10/15/2023] [Accepted: 10/18/2023] [Indexed: 11/02/2023]
Abstract
Diabetes Mellitus (DM) is the most hazardous public health challenge requiring engineering study to prevent disease complications. In this paper, a Sorensen-based diabetic model is presented in which the insulin-glucose process of a Type 1 patient is maintained by considering other factors such as physical characteristics and changes in mental aspects of the diabetic patient. The purpose of the research is to include a non-linear model of a patient with diabetes who is affected by stress, meals, exercise, and Insulin Sensitivity (IS), and a suitable RECCo controller is designed as a notable recent innovation that implements the concept of ANYA fuzzy rule-based system, which is an online adaptive type of controller that is used in this research work with an uncertainty case of the condition, where the blood glucose must be regulated. To ensure the performance of the proposed controller, a simple insulin pump is designed in a practical case, and a hardware experiment is conducted. The result of the hardware is analyzed and shows the success of the implementation of the controller in blood glucose regulation, thereby preventing complications such as hypoglycemia and hyperglycemia. The comparison analysis of RECCo was performed with other types of controllers, such as MPC and MRAC. The accuracy of the model was validated using the N-BEATS algorithm with a data-set collected from the simulated model, which is around 98%.
Collapse
Affiliation(s)
| | - Vijay Jeyakumar
- Department of Biomedical Engineering, Sri Sivasubramaniya Nadar College of Engineering, Chennai, India
| |
Collapse
|
5
|
Yang JF, Yang S, Gong X, Bakh NA, Zhang G, Wang AB, Cherrington AD, Weiss MA, Strano MS. In Silico Investigation of the Clinical Translatability of Competitive Clearance Glucose-Responsive Insulins. ACS Pharmacol Transl Sci 2023; 6:1382-1395. [PMID: 37854621 PMCID: PMC10580396 DOI: 10.1021/acsptsci.3c00095] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/01/2023] [Indexed: 10/20/2023]
Abstract
The glucose-responsive insulin (GRI) MK-2640 from Merck was a pioneer in its class to enter the clinical stage, having demonstrated promising responsiveness in in vitro and preclinical studies via a novel competitive clearance mechanism (CCM). The smaller pharmacokinetic response in humans motivates the development of new predictive, computational tools that can improve the design of therapeutics such as GRIs. Herein, we develop and use a new computational model, IM3PACT, based on the intersection of human and animal model glucoregulatory systems, to investigate the clinical translatability of CCM GRIs based on existing preclinical and clinical data of MK-2640 and regular human insulin (RHI). Simulated multi-glycemic clamps not only validated the earlier hypothesis of insufficient glucose-responsive clearance capacity in humans but also uncovered an equally important mismatch between the in vivo competitiveness profile and the physiological glycemic range, which was not observed in animals. Removing the inter-species gap increases the glucose-dependent GRI clearance from 13.0% to beyond 20% for humans and up to 33.3% when both factors were corrected. The intrinsic clearance rate, potency, and distribution volume did not apparently compromise the translation. The analysis also confirms a responsive pharmacokinetics local to the liver. By scanning a large design space for CCM GRIs, we found that the mannose receptor physiology in humans remains limiting even for the most optimally designed candidate. Overall, we show that this computational approach is able to extract quantitative and mechanistic information of value from a posteriori analysis of preclinical and clinical data to assist future therapeutic discovery and development.
Collapse
Affiliation(s)
- Jing Fan Yang
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Sungyun Yang
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Xun Gong
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Naveed A. Bakh
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Ge Zhang
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Allison B. Wang
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| | - Alan D. Cherrington
- Molecular
Physiology and Biophysics, Vanderbilt University
School of Medicine, Nashville, Tennessee 37232, United States
| | - Michael A. Weiss
- Department
of Biochemistry & Molecular Biology, Indiana University School of Medicine, Indianapolis, Indiana 46202, United States
| | - Michael S. Strano
- Department
of Chemical Engineering, Massachusetts Institute
of Technology, Cambridge, Massachusetts 02139, United States
| |
Collapse
|
6
|
Farahmand B, Dehghani M, Vafamand N, Mirzaee A, Boostani R, Pieper JK. Robust nonlinear control of blood glucose in diabetic patients subject to model uncertainties. ISA TRANSACTIONS 2023; 133:353-368. [PMID: 35927074 DOI: 10.1016/j.isatra.2022.07.009] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Received: 05/23/2021] [Revised: 07/07/2022] [Accepted: 07/07/2022] [Indexed: 06/15/2023]
Abstract
Recent advances in the artificial pancreas system provide an emerging treatment option for type 1 diabetes. The performance of the blood glucose regulation directly relies on the accuracy of the glucose-insulin modeling. Sorenson model involves the behavior of different organs and offers precise representation. However, the high complexity of such a model makes the controller design procedure a hard task. Therefore, the high-order nonlinear Sorensen model as a popular high-fidelity physiological model is opted in this paper to analyze the glucose-insulin interactions in great detail, and a new robust nonlinear approach to regulate the blood glucose concentration (BGC) in Type-I diabetic patients is proposed. Inspiring the backstepping technique, for designing an acceptable controller, the model is divided into three main subsystems such that in each subsystem, the virtual control input laws are obtained using both Lyapunov stability and input-to-state theorems. Since the measurement of the parameters in the glucose-insulin system is not accurate, parametric uncertainties are defined in the investigated model. Furthermore, owing to the fact that the only measurable state variable is blood glucose, the estimation of inaccessible state variables is an important issue that is properly considered by the unscented Kalman filter (UKF) estimator. The suggested approach is compared to H∞, robust H∞, and linear parameter-varying control approaches. The comparison results on 500 simulated patients imply a remarkable superiority of the proposed controller approach to the compared methods in terms of the BGC tracking and the algorithm robustness in the presence of food intake disturbance patterns.
Collapse
Affiliation(s)
- Bahareh Farahmand
- School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran; Schulich School of Engineering, University of Calgary, Calgary, Alberta, Canada
| | - Maryam Dehghani
- School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran.
| | - Navid Vafamand
- School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran
| | - Alireza Mirzaee
- School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran
| | - Reza Boostani
- School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran
| | - Jeffrey Kurt Pieper
- Schulich School of Engineering, University of Calgary, Calgary, Alberta, Canada
| |
Collapse
|
7
|
Dietrich JW, Dasgupta R, Anoop S, Jebasingh F, Kurian ME, Inbakumari M, Boehm BO, Thomas N. SPINA Carb: a simple mathematical model supporting fast in-vivo estimation of insulin sensitivity and beta cell function. Sci Rep 2022; 12:17659. [PMID: 36271244 PMCID: PMC9587026 DOI: 10.1038/s41598-022-22531-3] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.7] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 06/11/2022] [Accepted: 10/17/2022] [Indexed: 01/18/2023] Open
Abstract
Modelling insulin-glucose homeostasis may provide novel functional insights. In particular, simple models are clinically useful if they yield diagnostic methods. Examples include the homeostasis model assessment (HOMA) and the quantitative insulin sensitivity check index (QUICKI). However, limitations of these approaches have been criticised. Moreover, recent advances in physiological and biochemical research prompt further refinement in this area. We have developed a nonlinear model based on fundamental physiological motifs, including saturation kinetics, non-competitive inhibition, and pharmacokinetics. This model explains the evolution of insulin and glucose concentrations from perturbation to steady-state. Additionally, it lays the foundation of a structure parameter inference approach (SPINA), providing novel biomarkers of carbohydrate homeostasis, namely the secretory capacity of beta-cells (SPINA-GBeta) and insulin receptor gain (SPINA-GR). These markers correlate with central parameters of glucose metabolism, including average glucose infusion rate in hyperinsulinemic glucose clamp studies, response to oral glucose tolerance testing and HbA1c. Moreover, they mirror multiple measures of body composition. Compared to normal controls, SPINA-GR is significantly reduced in subjects with diabetes and prediabetes. The new model explains important physiological phenomena of insulin-glucose homeostasis. Clinical validation suggests that it may provide an efficient biomarker panel for screening purposes and clinical research.
Collapse
Affiliation(s)
- Johannes W. Dietrich
- grid.5570.70000 0004 0490 981XDiabetes, Endocrinology and Metabolism Section, Department of Internal Medicine I, St. Josef Hospital, Ruhr University Bochum, NRW, Gudrunstr. 56, 44791 Bochum, Germany ,Diabetes Centre Bochum-Hattingen, St. Elisabeth-Hospital Blankenstein, Im Vogelsang 5-11, 45527 Hattingen, NRW Germany ,grid.5570.70000 0004 0490 981XCentre for Rare Endocrine Diseases, Ruhr Centre for Rare Diseases (CeSER), Ruhr University Bochum and Witten/Herdecke University, Alexandrinenstr. 5, 44791 Bochum, NRW Germany ,Centre for Diabetes Technology, Catholic Hospitals Bochum, Gudrunstr. 56, 44791 Bochum, NRW, Germany
| | - Riddhi Dasgupta
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| | - Shajith Anoop
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| | - Felix Jebasingh
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| | - Mathews E. Kurian
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| | - Mercy Inbakumari
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| | - Bernhard O. Boehm
- grid.59025.3b0000 0001 2224 0361Lee Kong Chian School of Medicine, Nanyang Technological University Singapore, 11 Mandalay Road, Singapore, 308232 Singapore ,grid.6582.90000 0004 1936 9748Department of Internal Medicine I, Ulm University Medical Centre, Ulm University, 89070 Ulm, Germany ,grid.240988.f0000 0001 0298 8161Department of Endocrinology, Tan Tock Seng Hospital, Singapore, Singapore
| | - Nihal Thomas
- grid.11586.3b0000 0004 1767 8969Department of Endocrinology, Diabetes and Metabolism, Christian Medical College, Vellore, 632004 India
| |
Collapse
|
8
|
Builes-Montaño CE, Lema-Perez L, Garcia-Tirado J, Alvarez H. Main glucose hepatic fluxes in healthy subjects predicted from a phenomenological-based model. Comput Biol Med 2022; 142:105232. [DOI: 10.1016/j.compbiomed.2022.105232] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 09/21/2021] [Revised: 01/08/2022] [Accepted: 01/09/2022] [Indexed: 11/28/2022]
|
9
|
Pompa M, Panunzi S, Borri A, De Gaetano A. A comparison among three maximal mathematical models of the glucose-insulin system. PLoS One 2021; 16:e0257789. [PMID: 34570804 PMCID: PMC8476045 DOI: 10.1371/journal.pone.0257789] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.8] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 07/10/2021] [Accepted: 09/13/2021] [Indexed: 11/24/2022] Open
Abstract
The most well-known and widely used mathematical representations of the physiology of a diabetic individual are the Sorensen and Hovorka models as well as the UVAPadova Simulator. While the Hovorka model and the UVAPadova Simulator only describe the glucose metabolism of a subject with type 1 diabetes, the Sorensen model was formulated to simulate the behaviour of both normal and diabetic individuals. The UVAPadova model is the most known model, accepted by the FDA, with a high level of complexity. The Hovorka model is the simplest of the three models, well documented and used primarily for the development of control algorithms. The Sorensen model is the most complete, even though some modifications were required both to the model equations (adding useful compartments for modelling subcutaneous insulin delivery) and to the parameter values. In the present work several simulated experiments, such as IVGTTs and OGTTs, were used as tools to compare the three formulations in order to establish to what extent increasing complexity translates into richer and more correct physiological behaviour. All the equations and parameters used for carrying out the simulations are provided.
Collapse
Affiliation(s)
- Marcello Pompa
- CNR-IASI, Laboratorio di Biomatematica, Consiglio Nazionale delle Ricerche, Istituto di Analisi dei Sistemi ed Informatica, Rome, Italy
- Università Cattolica del Sacro Cuore Rome, Rome, Italy
| | - Simona Panunzi
- CNR-IASI, Laboratorio di Biomatematica, Consiglio Nazionale delle Ricerche, Istituto di Analisi dei Sistemi ed Informatica, Rome, Italy
| | - Alessandro Borri
- CNR-IASI, Laboratorio di Biomatematica, Consiglio Nazionale delle Ricerche, Istituto di Analisi dei Sistemi ed Informatica, Rome, Italy
| | - Andrea De Gaetano
- CNR-IASI, Laboratorio di Biomatematica, Consiglio Nazionale delle Ricerche, Istituto di Analisi dei Sistemi ed Informatica, Rome, Italy
- CNR-IRIB, Consiglio Nazionale delle Ricerche, Istituto per la Ricerca e l’Innovazione Biomedica Palermo, Palermo, Italy
| |
Collapse
|