Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays

被引:0
|
作者
Molnar, Tamas G. [1 ]
Singletary, Andrew W. [2 ]
Orosz, Gabor [1 ,3 ]
Ames, Aaron D. [2 ]
机构
[1] Univ Michigan, Dept Mech Engn, Ann Arbor, MI 48109 USA
[2] CALTECH, Dept Mech & Civil Engn, Pasadena, CA 91125 USA
[3] Univ Michigan, Dept Civil & Environm Engn, Ann Arbor, MI 48109 USA
基金
美国国家科学基金会;
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We introduce a methodology to guarantee safety against the spread of infectious diseases by viewing epidemiological models as control systems and by considering human interventions (such as quarantining or social distancing) as control input. We consider a generalized compartmental model that represents the form of the most popular epidemiological models and we design safety-critical controllers that formally guarantee safe evolution with respect to keeping certain populations of interest under prescribed safe limits. Furthermore, we discuss how measurement delays originated from incubation period and testing delays affect safety and how delays can be compensated via predictor feedback. We demonstrate our results by synthesizing active intervention policies that bound the number of infections, hospitalizations and deaths for epidemiological models capturing the spread of COVID-19 in the USA.
引用
收藏
页码:1052 / 1057
页数:6
相关论文
共 50 条
  • [31] Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
    Akella, Prithvi
    Ubellacker, Wyatt
    Ames, Aaron D.
    2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2023, : 8120 - 8126
  • [32] Resolving Safety-Critical Incidents in a Rally Control Center
    Wahlstrom, Mikael
    Salovaara, Antti
    Salo, Leena
    Oulasvirta, Antti
    HUMAN-COMPUTER INTERACTION, 2011, 26 (1-2): : 9 - 37
  • [33] SAFETY-CRITICAL PUDDINGS
    MALCOLM, B
    ELECTRONICS AND POWER, 1987, 33 (05): : 291 - 291
  • [34] These are safety-critical times
    Johan F. Hoorn
    Cognition, Technology & Work, 2008, 10 (4) : 249 - 249
  • [35] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [36] Safety-Critical Control With Input Delay in Dynamic Environment
    Molnar, Tamas G.
    Kiss, Adam K.
    Ames, Aaron D.
    Orosz, Gabor
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (04) : 1507 - 1520
  • [37] SPECIFYING A SAFETY-CRITICAL CONTROL-SYSTEM IN Z
    JACKY, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 99 - 106
  • [38] Safety-critical trajectory tracking control of quadrotor UAVs
    Sun G.-H.
    Zeng Q.-S.
    Cai Z.-Z.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2023, 40 (07): : 1261 - 1269
  • [39] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [40] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13