Table of Contents
Fetching ...

Some linear feedback laws for stabilisation of sterile insect technique control system

Kala Agbo Bidi

TL;DR

This work addresses stabilizing mosquito populations under Sterile Insect Technique by designing linear feedback laws. It analyzes SIT models with states for the aquatic stage $E$, wild males $M$, fertilized females $F$, sterile counterparts $F_s$, $M_s$, and control input $u$, proving global stabilization to extinction under gain conditions. The authors develop two linear laws based on ($E$, $M+M_s$) and ($E$, $M$), employing Lyapunov functions and a helper function $\mathcal{H}(\psi)$ to establish exponential convergence, with explicit instantiations for practical deployment (e.g., $u(x)=2R(1-\nu)\nu_E E + (\delta_s-\delta_M)(M+M_s)$ and $u(x)=4R(\delta_s-\delta_M)M + 2R(1-\nu)\nu_E E$). The results enable simple, robust release strategies that can be implemented with field measurements (ovitraps and release-recapture) to support SIT programs in vector control and disease mitigation.

Abstract

The implementation of the Sterile Insect Technique (SIT) to manage a target population has been the focus of numerous recent scientific studies. The present work focuses on a feedback law that depends linearly on the state variables of the SIT control system. We provide both mathematical proof and numerical illustrations demonstrating the global asymptotic stability of the population to zero when releasing a number of sterile insects proportional to different state variables of the SIT model.

Some linear feedback laws for stabilisation of sterile insect technique control system

TL;DR

This work addresses stabilizing mosquito populations under Sterile Insect Technique by designing linear feedback laws. It analyzes SIT models with states for the aquatic stage , wild males , fertilized females , sterile counterparts , , and control input , proving global stabilization to extinction under gain conditions. The authors develop two linear laws based on (, ) and (, ), employing Lyapunov functions and a helper function to establish exponential convergence, with explicit instantiations for practical deployment (e.g., and ). The results enable simple, robust release strategies that can be implemented with field measurements (ovitraps and release-recapture) to support SIT programs in vector control and disease mitigation.

Abstract

The implementation of the Sterile Insect Technique (SIT) to manage a target population has been the focus of numerous recent scientific studies. The present work focuses on a feedback law that depends linearly on the state variables of the SIT control system. We provide both mathematical proof and numerical illustrations demonstrating the global asymptotic stability of the population to zero when releasing a number of sterile insects proportional to different state variables of the SIT model.

Paper Structure

This paper contains 6 sections, 5 theorems, 63 equations, 2 figures, 1 table.

Key Result

Proposition 2.1

Let be a solution of eq:completeODESIT, defined at time $t = 0$ and satisfying Then it is defined on $[0,+\infty)$. Moreover, if $E(0) \geq K$, then there exists a unique time $t_0 \geq 0$ such that $E(t_0) = K$, and one has:

Figures (2)

  • Figure 1: Plot of the system \ref{['eq:completeODESIT']} with the feedback law \ref{['EMMs']} for $\psi = 2R$. According to the parameters fixed in Table \ref{['tab:tableparamsRL']}, we have $R = 76.56$
  • Figure 2: Plot of the system \ref{['eq:completeODESIT']} with the feedback law \ref{['deltaEMu=']} for $\sigma = 2R$, $R=76.56$.

Theorems & Definitions (10)

  • Proposition 2.1
  • Proposition 3.1
  • proof
  • Remark 3.1
  • Theorem 3.1
  • proof
  • Proposition 3.2
  • proof
  • Theorem 3.2
  • proof