2023/10/14 by Lichen Ding, Ding, Lichen, Kazumune Hashimoto +3
Biochemistry, Genetics and Molecular Biology · Decision Sciences · #FOS: Electrical engineering #Gene Regulatory Network Analysis #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2310.09480
openalex publication_date 2023/10/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we investigate the problem of mitigating epidemics by applying an event-triggered control strategy. We consider a susceptible-infected-removed-susceptible (SIRS) model, which builds upon the foundational SIR model by accounting for reinfection cases. The event-triggered control strategy is formulated based on the condition in which the control input (e.g., the level of public measures) is updated only when the fraction of the infected subjects changes over a designed threshold. To synthesize the event-triggered controller, we leverage the notion of a symbolic model, which represents an abstracted expression of the transition system associated with the SIRS model under the event-triggered control strategy. %The symbolic model is constructed based on an approximate alternating simulation relation. Then, by employing safety and reachability games, two event-triggered controllers are synthesized to ensure a desired specification, which is more sophisticated than the one given in previous works. The effectiveness of the proposed approach is illustrated through numerical simulations.