About partial reachability issues in an SEIR epidemic model and related infectious disease tracking in finite time under vaccination and treatment controls (Q2662991)

Summary: This paper studies some basic properties of an SEIR (Susceptible-Exposed-Infectious-Recovered) epidemic model subject to vaccination and treatment controls. Firstly, the basic stability, boundedness, and nonnegativity of the state trajectory solution are investigated. Then, the problem of partial state reachability from a certain state value to a targeted one in finite time is focused on since it turns out that epidemic models are, because of their nature, neither (state) controllable from a given state to the origin nor reachable from a given initial condition. The particular formal statement of the partial reachability is focused on as a problem of output-reachability by defining a measurable output or lower dimension than that of the state. A special case of interest is that when the output is defined as the infectious subpopulation to be step-to-step tracked under suitable amounts being compatible with the required constraints. As a result, and provided that the output-controllability Gramian is nonsingular on a certain time interval of interest, a feedback control effort might be designed so that a prescribed value of the output can be approximately tracked. A linearization approximation is performed to simplify and facilitate the above task which is based on a point-to-point linearization of the solution trajectory. To this end, an ``ad hoc'' sampled approximate output trajectory is defined as control objective to be targeted through a point-wise calculated Jacobian matrix. A supervised appropriate restatement of the targeted suited sampled output values is redefined, if necessary, to make the initial proposed sampled trajectory compatible with the various needed constraints on nonnegativity and control boundedness. The design can be optionally performed under constant or adaptive sampling rates. Finally, some numerical examples are given to test the theoretical aspects and the design efficiency of the model.