Type-1 diabetes mellitus (T1DM) is an autoimmune disease that has an impact on mortality due to the destruction of insulin-producing pancreatic β -cells in the islets of Langerhans. Over the past few years, the interest in analyzing this type of disease, either in a biological or mathematical sense, has relied on the search for a treatment that guarantees full control of glucose levels. Mathematical models inspired by natural phenomena, are proposed under the prey–predator scheme. T1DM fits in this scheme due to the complicated relationship between pancreatic β -cell population growth and leukocyte population growth via the immune response. In this scenario, β -cells represent the prey, and leukocytes the predator. This paper studies the global dynamics of T1DM reported by Magombedze et al. in 2010. This model describes the interaction of resting macrophages, activated macrophages, antigen cells, autolytic T-cells, and β -cells. Therefore, the localization of compact invariant sets is applied to provide a bounded positive invariant domain in which one can ensure that once the dynamics of the T1DM enter into this domain, they will remain bounded with a maximum and minimum value. Furthermore, we analyzed this model in a closed-loop scenario based on nonlinear control theory, and proposed bases for possible control inputs, complementing the model with them. These entries are based on the existing relationship between cell–cell interaction and the role that they play in the unchaining of a diabetic condition. The closed-loop analysis aims to give a deeper understanding of the impact of autolytic T-cells and the nature of the β -cell population interaction with the innate immune system response. This analysis strengthens the proposal, providing a system free of this illness—that is, a condition wherein the pancreatic β -cell population holds and there are no antigen cells labeled by the activated macrophages.
NK Cells and Type 1 Diabetes
