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 条
  • [21] Safety-Critical Kinematic Control of Robotic Systems
    Singletary, Andrew
    Kolathaya, Shishir
    Ames, Aaron D.
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 14 - 19
  • [22] A PES for use in highly safety-critical control
    Skambraks, Martin
    Halang, Wolfgang A.
    2005 IEEE International Conference on Industrial Technology - (ICIT), Vols 1 and 2, 2005, : 372 - 377
  • [23] Safety-Critical Online Control with Adversarial Disturbances
    Ramasubramanian, Bhaskar
    Xiao, Baicen
    Bushnell, Linda
    Poovendran, Radha
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 3731 - 3738
  • [24] Circus Models for Safety-Critical Java']Java Programs
    Zeyda, Frank
    Lalkhumsanga, Lalkhumsanga
    Cavalcanti, Ana
    Wellings, Andy
    COMPUTER JOURNAL, 2014, 57 (07): : 1046 - 1091
  • [25] Safety-critical Java programs from Circus models
    Ana Cavalcanti
    Frank Zeyda
    Andy Wellings
    Jim Woodcock
    Kun Wei
    Real-Time Systems, 2013, 49 : 614 - 667
  • [26] Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors
    Jin, Tao
    Di, Jian
    Wang, Xinghu
    Ji, Haibo
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2023, 8 (09) : 6006 - 6012
  • [27] Robust Exponential Control Barrier Functions for Safety-Critical Control
    Chinelato, Caio I. G.
    Angelico, Bruno A.
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 2342 - 2347
  • [28] Robust control barrier–value functions for safety-critical control
    Choi, Jason J.
    Lee, Donggun
    Sreenath, Koushil
    Tomlin, Claire J.
    Herbert, Sylvia L.
    arXiv, 2021,
  • [29] Safety-critical control for autonomous systems: Control barrier functions via reduced-order models
    Cohen, Max H.
    Molnar, Tamas G.
    Ames, Aaron D.
    ANNUAL REVIEWS IN CONTROL, 2024, 57
  • [30] A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems
    Wu, Daohua
    Liu, Jintao
    Wang, Hongwei
    Tang, Tao
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2022, 18 (05) : 3033 - 3042