Synthesis of Event-triggered Controllers for SIRS Epidemic Models

Autor:	Ding, Lichen, Hashimoto, Kazumune, Takai, Shigemasa
Rok vydání:	2023
Předmět:	Electrical Engineering and Systems Science - Systems and Control
Druh dokumentu:	Working Paper
Popis:	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. Comment: accepted for publication in Nonlinear Analysis: Hybrid Systems (NAHS)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2310.09480 Zobrazit plný text záznamu View this record from Arxiv