面向 SIRS 传染病模型的事件触发控制器综合
系统与控制
2023-10-17 v1 系统与控制
摘要
本文研究通过应用事件触发控制策略来缓解传染病的问题。我们考虑一个易感-感染-移除-易感（SIRS）模型，该模型在基础 SIR 模型之上考虑了再感染情形。事件触发控制策略基于如下条件制定：仅当感染个体比例变化超过所设计的阈值时，才更新控制输入（例如公共措施的强度）。为了综合事件触发控制器，我们利用符号模型的概念，该模型表示了在事件触发控制策略下与 SIRS 模型相关联的转移系统的抽象表达。然后，通过采用安全性与可达性博弈，综合出两个事件触发控制器以确保期望的规范，该规范比以往工作中给出的更为复杂。所提方法的有效性通过数值仿真得以验证。
引用
@article{arxiv.2310.09480,
title = {Synthesis of Event-triggered Controllers for SIRS Epidemic Models},
author = {Lichen Ding and Kazumune Hashimoto and Shigemasa Takai},
journal= {arXiv preprint arXiv:2310.09480},
year = {2023}
}
备注
accepted for publication in Nonlinear Analysis: Hybrid Systems (NAHS)