International Journal of Computing Science and Applied Mathematics-IJCSAM
Vol. 7 No. 1 (2021)

Safety Verification of SEITR Epidemic Model on Recombination HIV and Hepatitis B Virus using Taylor Model

Asmudik Asmudik (Institut Teknologi Sepuluh Nopember)
Dieky Adzkiya (Institut Teknologi Sepuluh Nopember)
Mardlijah Mardlijah (Institut Teknologi Sepuluh Nopember)
Hariyanto Hariyanto (Institut Teknologi Sepuluh Nopember)



Article Info

Publish Date
15 Feb 2021

Abstract

Human Immunodeficiency Virus (HIV) is an AIDS (Acquired Immuno Deficiency Syndrome) virus that attacks the immune system for which there is no cure. When the immune system has decreased, it is prone to diseases such as Hepatitis B disease. To reduce the error value of the number of subpopulations, we use an interval approximation. One of the simulation calculations that the number of variables initially intervals is Taylor model. Taylor's model can be used to verify that the number of people infected with HIV and Hepatitis B will not exceed the specified number of unsafe sets. To calculate the set of states that are reached by the system over a certain period of time, given the initial conditions and parameters. The initial condition is divided into three scenarios, an affordable set of states, safety verification can be done. As a result of the safety verification of the three scenarios provided there is no set of states that are not safe, so the results of all three scenarios are safe.

Copyrights © 2021






Journal Info

Abbrev

ijcsam

Publisher

Subject

Mathematics

Description

IJCSAM (International Journal of Computing Science and Applied Mathematics) is an open access journal publishing advanced results in the fields of computations, science and applied mathematics, as mentioned explicitly in the scope of the journal. The journal is geared towards dissemination of ...