Showing 1–29 of 29 results for author: Pare, P E

Online Identification of Time-Varying Systems Using Excitation Sets and Change Point Detection

Authors: Chi Ho Leung, Ashish R. Hota, Philip E. Paré

Abstract: In this work, we first show that the problem of parameter identification is often ill-conditioned and lacks the persistence of excitation required for the convergence of online learning schemes. To tackle these challenges, we introduce the notion of optimal and greedy excitation sets which contain data points with sufficient richness to aid in the identification task. We then present the greedy ex… ▽ More In this work, we first show that the problem of parameter identification is often ill-conditioned and lacks the persistence of excitation required for the convergence of online learning schemes. To tackle these challenges, we introduce the notion of optimal and greedy excitation sets which contain data points with sufficient richness to aid in the identification task. We then present the greedy excitation set-based recursive least squares algorithm to alleviate the problem of the lack of persistent excitation, and prove that the iterates generated by the proposed algorithm minimize an auxiliary weighted least squares cost function. When data points are generated from time-varying parameters, online estimators tend to underfit the true parameter trajectory, and their predictability deteriorates. To tackle this problem, we propose a memory resetting scheme leveraging change point detection techniques. Finally, we illustrate the performance of the proposed algorithms via several numerical case studies to learn the (time-varying) parameters of networked epidemic dynamics, and compare it with results obtained using conventional approaches. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Modeling and Predicting Epidemic Spread: A Gaussian Process Regression Approach

Authors: Baike She, Lei Xin, Philip E. Paré, Matthew Hale

Abstract: Modeling and prediction of epidemic spread are critical to assist in policy-making for mitigation. Therefore, we present a new method based on Gaussian Process Regression to model and predict epidemics, and it quantifies prediction confidence through variance and high probability error bounds. Gaussian Process Regression excels in using small datasets and providing uncertainty bounds, and both of… ▽ More Modeling and prediction of epidemic spread are critical to assist in policy-making for mitigation. Therefore, we present a new method based on Gaussian Process Regression to model and predict epidemics, and it quantifies prediction confidence through variance and high probability error bounds. Gaussian Process Regression excels in using small datasets and providing uncertainty bounds, and both of these properties are critical in modeling and predicting epidemic spreading processes with limited data. However, the derivation of formal uncertainty bounds remains lacking when using Gaussian Process Regression in the setting of epidemics, which limits its usefulness in guiding mitigation efforts. Therefore, in this work, we develop a novel bound on the variance of the prediction that quantifies the impact of the epidemic data on the predictions we make. Further, we develop a high probability error bound on the prediction, and we quantify how the epidemic spread, the infection data, and the length of the prediction horizon all affect this error bound. We also show that the error stays below a certain threshold based on the length of the prediction horizon. To illustrate this framework, we leverage Gaussian Process Regression to model and predict COVID-19 using real-world infection data from the United Kingdom. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Collaborative Safe Formation Control for Coupled Multi-Agent Systems

Authors: Brooks A. Butler, Chi Ho Leung, Philip E. Paré

Abstract: The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of… ▽ More The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of robot swarms given individual agent dynamics, induced formation dynamics, and local neighborhood position and velocity information within a defined sensing radius for each agent. Individual safety guarantees for each agent are obtained using rounds of communication between neighbors to restrict unsafe control actions among cooperating agents through safety conditions derived from high-order control barrier functions. We provide conditions under which a swarm is guaranteed to achieve collective safety with respect to multiple obstacles using a modified collaborative safety algorithm. We demonstrate the performance of our distributed algorithm via simulation in a simplified physics-based environment. △ Less

Submitted 2 April, 2024; v1 submitted 18 November, 2023; originally announced November 2023.

Comments: This work has been accepted to be presented at the 2024 European Control Conference

Reverse Engineering the Reproduction Number: A Framework for Data-Driven Counterfactual Analysis, Strategy Evaluation, and Feedback Control of Epidemics

Authors: Baike She, Rebecca Lee Smith, Ian Pytlarz, Shreyas Sundaram, Philip E. Paré

Abstract: During the COVID-19 pandemic, different countries, regions, and communities constructed various epidemic models to evaluate spreading behaviors and assist in making mitigation policies. Model uncertainties, introduced by complex transmission behaviors, contact-tracing networks, time-varying spreading parameters, and human factors, as well as insufficient data, have posed arduous challenges for mod… ▽ More During the COVID-19 pandemic, different countries, regions, and communities constructed various epidemic models to evaluate spreading behaviors and assist in making mitigation policies. Model uncertainties, introduced by complex transmission behaviors, contact-tracing networks, time-varying spreading parameters, and human factors, as well as insufficient data, have posed arduous challenges for model-based approaches. To address these challenges, we propose a novel framework for data-driven counterfactual analysis, strategy evaluation, and feedback control of epidemics, which leverages statistical information from epidemic testing data instead of constructing a specific model. Through reverse engineering the reproduction number by quantifying the impact of the intervention strategy, this framework tackles three primary problems: 1) How severe would an outbreak have been without the implemented intervention strategies? 2) What impact would varying the intervention strength have had on an outbreak? 3) How can we adjust the intervention intensity based on the current state of an outbreak? Specifically, we consider the epidemic intervention policies such as the testing-for-isolation strategy as an example, which was successfully implemented by the University of Illinois Urbana-Champaign (UIUC) and Purdue University (Purdue) during the COVID-19 pandemic. By leveraging data collected by UIUC and Purdue, we validate the effectiveness of the proposed data-driven framework. △ Less

Submitted 31 October, 2023; originally announced November 2023.

Adaptive Identification of SIS Models

Authors: Chi Ho Leung, William E. Retnaraj, Ashish R. Hota, Philip E. Paré

Abstract: Effective containment of spreading processes such as epidemics requires accurate knowledge of several key parameters that govern their dynamics. In this work, we first show that the problem of identifying the underlying parameters of epidemiological spreading processes is often ill-conditioned and lacks the persistence of excitation required for the convergence of adaptive learning schemes. To tac… ▽ More Effective containment of spreading processes such as epidemics requires accurate knowledge of several key parameters that govern their dynamics. In this work, we first show that the problem of identifying the underlying parameters of epidemiological spreading processes is often ill-conditioned and lacks the persistence of excitation required for the convergence of adaptive learning schemes. To tackle this challenge, we leverage a relaxed property called initial excitation combined with a recursive least squares algorithm to design an online adaptive identifier to learn the parameters of the susceptible-infected-susceptible (SIS) epidemic model from the knowledge of its states. We prove that the iterates generated by the proposed algorithm minimize an auxiliary weighted least squares cost function. We illustrate the convergence of the error of the estimated epidemic parameters via several numerical case studies and compare it with results obtained using conventional approaches. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Collaborative Safety-Critical Control for Networked Dynamic Systems

Authors: Brooks A. Butler, Philip E. Paré

Abstract: As modern systems become ever more connected with complex dynamic coupling relationships, the development of safe control methods for such networked systems becomes paramount. In this paper, we define a general networked model with coupled dynamics and local control and discuss the relationship of node-level safety definitions for individual agents with local neighborhood dynamics. We define a nod… ▽ More As modern systems become ever more connected with complex dynamic coupling relationships, the development of safe control methods for such networked systems becomes paramount. In this paper, we define a general networked model with coupled dynamics and local control and discuss the relationship of node-level safety definitions for individual agents with local neighborhood dynamics. We define a node-level barrier function (NBF), node-level control barrier function (NCBF), and collaborative node-level barrier function (cNCBF) and provide conditions under which sets defined by these functions will be forward invariant. We use collaborative node-level barrier functions to construct a novel distributed algorithm for the safe control of collaborating network agents and provide conditions under which the algorithm is guaranteed to converge to a viable set of safe control actions for all agents or a terminally infeasible state for at least one agent. We introduce the notion of non-compliance of network neighbors as a metric of robustness for collaborative safety for a given network state and chosen barrier function hyper-parameters. We illustrate these results on a networked susceptible-infected-susceptible (SIS) model. △ Less

Submitted 1 May, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: This work is under review for publication in the IEEE Transactions on Automatic Control

Analysis, Control, and State Estimation for the Networked Competitive Multi-Virus SIR Model

Authors: Ciyuan Zhang, Sebin Gracy, Tamer Basar, Philip E. Pare

Abstract: This paper proposes a novel discrete-time multi-virus susceptible-infected-recovered (SIR) model that captures the spread of competing epidemics over a population network. First, we provide sufficient conditions for the infection level of all the viruses over the networked model to converge to zero in exponential time. Second, we propose an observation model which captures the summation of all the… ▽ More This paper proposes a novel discrete-time multi-virus susceptible-infected-recovered (SIR) model that captures the spread of competing epidemics over a population network. First, we provide sufficient conditions for the infection level of all the viruses over the networked model to converge to zero in exponential time. Second, we propose an observation model which captures the summation of all the viruses' infection levels in each node, which represents the individuals who are infected by different viruses but share similar symptoms. Third, we present a sufficient condition for the model to be strongly locally observable, assuming that the network has only infected or recovered individuals. Fourth, we propose a Luenberger observer for estimating the states of our system. We prove that the estimation error of our proposed estimator converges to zero asymptotically with the observer gain. Finally, we present a distributed feedback controller which guarantees that each virus dies out at an exponential rate. We then show via simulations that the estimation error of the Luenberger observer converges to zero before the viruses die out. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: arXiv admin note: text overlap with arXiv:2204.00708

Leveraging Opinions and Vaccination to Eradicate Networked Epidemics

Authors: Humphrey Leung, Zhuocong Li, Baike She, Philip E. Paré

Abstract: We introduce a multi-layer networked compartmental $SIRS-V_o$ model that captures opinion dynamics, disease spread, risk perception, and self-interest vaccine-uptake behavior in an epidemic process. We characterize the target vaccination criterion of the proposed model and conditions that guarantee the criterion is obtainable by influencing opinions on disease prevalence. We leverage this result t… ▽ More We introduce a multi-layer networked compartmental $SIRS-V_o$ model that captures opinion dynamics, disease spread, risk perception, and self-interest vaccine-uptake behavior in an epidemic process. We characterize the target vaccination criterion of the proposed model and conditions that guarantee the criterion is obtainable by influencing opinions on disease prevalence. We leverage this result to design an eradication strategy that leverages opinions and vaccination. Through numerical simulations, we show that the proposed eradication strategy is able to stabilize the epidemic process around a healthy state equilibrium, and the outbreak rebounds after the control signal is relaxed. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: This work has been accepted to be presented at European Control Conference (ECC 2023)

Multi-Competitive Virus Spread over a Time-Varying Networked SIS Model with an Infrastructure Network

Authors: Sebin Gracy, Yuan Wang, Philip E. Pare, Cesar A Uribe

Abstract: We study the spread of multi-competitive viruses over a (possibly) time-varying network of individuals accounting for the presence of shared infrastructure networks that further enables transmission of the virus. We establish a sufficient condition for exponentially fast eradication of a virus for: 1) time-invariant graphs, 2) time-varying graphs with symmetric interactions between individuals and… ▽ More We study the spread of multi-competitive viruses over a (possibly) time-varying network of individuals accounting for the presence of shared infrastructure networks that further enables transmission of the virus. We establish a sufficient condition for exponentially fast eradication of a virus for: 1) time-invariant graphs, 2) time-varying graphs with symmetric interactions between individuals and homogeneous virus spread across the network (same healing and infection rate for all individuals), and 3) directed and slowly varying graphs with heterogeneous virus spread (not necessarily same healing and infection rates for all individuals) across the network. Numerical examples illustrate our theoretical results and indicate that, for the time-varying case, violation of the aforementioned sufficient conditions could lead to the persistence of a virus. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Distributed Reproduction Numbers of Networked Epidemics

Authors: Baike She, Philip E. Paré, Matthew Hale

Abstract: Reproduction numbers are widely used for the estimation and prediction of epidemic spreading processes over networks. However, reproduction numbers do not enable estimation and prediction in individual communities within networks, and they can be difficult to compute due to the aggregation of infection data that is required to do so. Therefore, in this work we propose a novel concept of distribute… ▽ More Reproduction numbers are widely used for the estimation and prediction of epidemic spreading processes over networks. However, reproduction numbers do not enable estimation and prediction in individual communities within networks, and they can be difficult to compute due to the aggregation of infection data that is required to do so. Therefore, in this work we propose a novel concept of distributed reproduction numbers to capture the spreading behaviors of each entity in the network, and we show how to compute them using certain parameters in networked SIS and SIR epidemic models. We use distributed reproduction numbers to derive new conditions under which an outbreak can occur. These conditions are then used to derive new conditions for the existence, uniqueness, and stability of equilibrium states. Finally, in simulation we use synthetic infection data to illustrate how distributed reproduction numbers provide more fine-grained analyses of networked spreading processes than ordinary reproduction numbers. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Feedback Design for Devising Optimal Epidemic Control Policies

Authors: Muhammad Umar B. Niazi, Philip E. Paré, Karl H. Johansson

Abstract: This paper proposes a feedback design that effectively copes with uncertainties for reliable epidemic monitoring and control. There are several optimization-based methods to estimate the parameters of an epidemic model by utilizing past reported data. However, due to the possibility of noise in the data, the estimated parameters may not be accurate, thereby exacerbating the model uncertainty. To a… ▽ More This paper proposes a feedback design that effectively copes with uncertainties for reliable epidemic monitoring and control. There are several optimization-based methods to estimate the parameters of an epidemic model by utilizing past reported data. However, due to the possibility of noise in the data, the estimated parameters may not be accurate, thereby exacerbating the model uncertainty. To address this issue, we provide an observer design that enables robust state estimation of epidemic processes, even in the presence of uncertain models and noisy measurements. Using the estimated model and state, we then devise optimal control policies by minimizing a predicted cost functional. To demonstrate the effectiveness of our approach, we implement it on a modified SIR epidemic model. The results show that our proposed method is efficient in mitigating the uncertainties that may arise in epidemic monitoring and control. △ Less

Submitted 5 April, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: To appear in the proceedings of IFAC World Congress 2023

Optimal Ordering Policies for Multi-Echelon Supply Networks

Authors: Jose I. Caiza, Ian Walter, Jitesh H. Panchal, Junjie Qin, Philip E. Pare

Abstract: In this paper, we formulate an optimal ordering policy as a stochastic control problem where each firm decides the amount of input goods to order from their upstream suppliers based on the current inventory level of its output good. For this purpose, we provide a closed-form solution for the optimal request of the raw materials for given a fixed production policy. We implement the proposed policy… ▽ More In this paper, we formulate an optimal ordering policy as a stochastic control problem where each firm decides the amount of input goods to order from their upstream suppliers based on the current inventory level of its output good. For this purpose, we provide a closed-form solution for the optimal request of the raw materials for given a fixed production policy. We implement the proposed policy on a 15-firm acyclic network based on a real product supply chain. We first simulate ideal demand situations, and then we implement demand-side shocks (i.e., demand levels outside of those considered in the policy formulation) and supply-side shocks (i.e., halts in production for some suppliers) to evaluate the robustness of the proposed policies. △ Less

Submitted 11 September, 2022; originally announced September 2022.

Optimal Mitigation of SIR Epidemics Under Model Uncertainty

Authors: Baike She, Shreyas Sundaram, Philip E. Paré

Abstract: We study the impact of model parameter uncertainty on optimally mitigating the spread of epidemics. We capture the epidemic spreading process using a susceptible-infected-removed (SIR) epidemic model and consider testing for isolation as the control strategy. We use a testing strategy to remove (isolate) a portion of the infected population. Our goal is to maintain the daily infected population be… ▽ More We study the impact of model parameter uncertainty on optimally mitigating the spread of epidemics. We capture the epidemic spreading process using a susceptible-infected-removed (SIR) epidemic model and consider testing for isolation as the control strategy. We use a testing strategy to remove (isolate) a portion of the infected population. Our goal is to maintain the daily infected population below a certain level, while minimizing the total number of tests. Distinct from existing works on leveraging control strategies in epidemic spreading, we propose a testing strategy by overestimating the seriousness of the epidemic and study the feasibility of the system under the impact of model parameter uncertainty. Compared to the optimal testing strategy, we establish that the proposed strategy under model parameter uncertainty will flatten the curve effectively but require more tests and a longer time period. △ Less

Submitted 3 September, 2022; originally announced September 2022.

Comments: This article is accepted to be presented at the 2022 IEEE Conference on Decision and Control

Modeling and Analysis of a Coupled SIS Bi-Virus Model

Authors: Sebin Gracy, Philip E. Paré, Ji Liu, Henrik Sandberg, Carolyn L. Beck, Karl Henrik Johansson, Tamer Başar

Abstract: The paper deals with the setting where two viruses (say virus 1 and virus 2) coexist in a population, and they are not necessarily mutually exclusive, in the sense that infection due to one virus does not preclude the possibility of simultaneous infection due to the other. We develop a coupled bi-virus susceptible-infected-susceptible (SIS) model from a 4n-state Markov chain model, where n is the… ▽ More The paper deals with the setting where two viruses (say virus 1 and virus 2) coexist in a population, and they are not necessarily mutually exclusive, in the sense that infection due to one virus does not preclude the possibility of simultaneous infection due to the other. We develop a coupled bi-virus susceptible-infected-susceptible (SIS) model from a 4n-state Markov chain model, where n is the number of agents (i.e., individuals or subpopulation) in the population. We identify a sufficient condition for both viruses to eventually die out, and a sufficient condition for the existence, uniqueness and asymptotic stability of the endemic equilibrium of each virus. We establish a sufficient condition and multiple necessary conditions for local exponential convergence to the boundary equilibrium (i.e., one virus persists, the other one dies out) of each virus. Under mild assumptions on the healing rate, we show that there cannot exist a coexisting equilibrium where for each node there is a nonzero fraction infected only by virus 1; a nonzero fraction infected only by virus 2; but no fraction that is infected by both viruses 1 and 2. Likewise, assuming that healing rates are strictly positive, a coexisting equilibrium where for each node there is a nonzero fraction infected by both viruses 1 and 2, but no fraction is infected only by virus 1 (resp. virus 2) does not exist. Further, we provide a necessary condition for the existence of certain other kinds of coexisting equilibria. We show that, unlike the competitive bivirus model, the coupled bivirus model is not monotone. Finally, we illustrate our theoretical findings using an extensive set of in-depth simulations. △ Less

Submitted 29 June, 2024; v1 submitted 23 July, 2022; originally announced July 2022.

A Networked Competitive Multi-Virus SIR Model: Analysis and Observability

Authors: Ciyuan Zhang, Sebin Gracy, Tamer Basar, Philip E. Pare

Abstract: This paper proposes a novel discrete-time multi-virus SIR (susceptible-infected-recovered) model that captures the spread of competing SIR epidemics over a population network. First, we provide a sufficient condition for the infection level of all the viruses over the networked model to converge to zero in exponential time. Second, we propose an observation model which captures the summation of al… ▽ More This paper proposes a novel discrete-time multi-virus SIR (susceptible-infected-recovered) model that captures the spread of competing SIR epidemics over a population network. First, we provide a sufficient condition for the infection level of all the viruses over the networked model to converge to zero in exponential time. Second, we propose an observation model which captures the summation of all the viruses' infection levels in each node, which represents the individuals who are infected by different viruses but share similar symptoms. We present a sufficient condition for the model to be locally observable. We propose a Luenberger observer for the system state estimation and show via simulations that the estimation error of the Luenberger observer converges to zero before the viruses die out. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Peak Infection Time for a Networked SIR Epidemic with Opinion Dynamics

Authors: Baike She, Humphrey C. H. Leung, Shreyas Sundaram, Philip E. Paré

Abstract: We propose an SIR epidemic model coupled with opinion dynamics to study an epidemic and opinions spreading in a network of communities. Our model couples networked SIR epidemic dynamics with opinions towards the severity of the epidemic, and vice versa. We develop an epidemic-opinion based threshold condition to capture the moment when a weighted average of the epidemic states starts to decrease e… ▽ More We propose an SIR epidemic model coupled with opinion dynamics to study an epidemic and opinions spreading in a network of communities. Our model couples networked SIR epidemic dynamics with opinions towards the severity of the epidemic, and vice versa. We develop an epidemic-opinion based threshold condition to capture the moment when a weighted average of the epidemic states starts to decrease exponentially fast over the network, namely the peak infection time. We define an effective reproduction number to characterize the behavior of the model through the peak infection time. We use both analytical and simulation-based results to illustrate that the opinions reflect the recovered levels within the communities after the epidemic dies out. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: Accepted to be presented at the 2021 IEEE Conference on Decision and Control (CDC)

The Impact of Vaccine Hesitancy on Epidemic Spreading

Authors: C. H. Leung, María E. Gibbs, Philip E. Paré

Abstract: The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disea… ▽ More The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disease by introducing an SIRS-V$_κ$ model, with compartments of susceptible (S), infected (I), recovered (R), and vaccinated (V). We leverage the concept of carrying capacity to account for vaccine hesitancy by defining a vaccine confidence level $κ$, which is the maximum number of people that will become vaccinated during the course of a disease. The inverse of vaccine confidence is vaccine hesitance, $(\frac{1}κ)$. We explore the equilibria of the SIRS-V$_κ$ model and their stability, and illustrate the impact of vaccine hesitance on epidemic spread analytically and via simulations. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Multi-Layer SIS Model with an Infrastructure Network

Authors: Philip E. Pare, Axel Janson, Sebin Gracy, Ji Liu, Henrik Sandberg, Karl H. Johansson

Abstract: This paper deals with the spread of diseases over both a population network and an infrastructure network. We develop a layered networked spread model for a susceptible-infected-susceptible (SIS) pathogen-borne disease spreading over a human contact network and an infrastructure network, and refer to it as a layered networked susceptible-infected-water-susceptible (SIWS) model. The SIWS network is… ▽ More This paper deals with the spread of diseases over both a population network and an infrastructure network. We develop a layered networked spread model for a susceptible-infected-susceptible (SIS) pathogen-borne disease spreading over a human contact network and an infrastructure network, and refer to it as a layered networked susceptible-infected-water-susceptible (SIWS) model. The SIWS network is in the healthy state (also referred to as the disease-free equilibrium) if none of the individuals in the population are infected nor is the infrastructure network contaminated; otherwise, we say that the network is in the endemic state (also referred to as the endemic equilibrium). First, we establish sufficient conditions for local exponential stability and global asymptotic stability (GAS) of the healthy state. Second, we provide sufficient conditions for existence, uniqueness, and GAS of the endemic state. Building off of these results, we provide a necessary, and sufficient, condition for the healthy state to be the unique equilibrium of our model. Third, we show that the endemic equilibrium of the SIWS model is worse than that of the networked SIS model without any infrastructure network, in the sense that at least one subpopulation has strictly larger infection proportion at the endemic equilibrium in the former model than that in the latter. Fourth, we study an observability problem, and, assuming that the measurements of the sickness-levels of the human contact network are available, provide a necessary and sufficient condition for estimation of the pathogen levels in the infrastructure network. Furthermore, we provide another sufficient, but not necessary, condition for estimation of pathogen levels in the infrastructure network. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Parameter Estimation in Epidemic Spread Networks Using Limited Measurements

Authors: Lintao Ye, Philip E. Paré, Shreyas Sundaram

Abstract: We study the problem of estimating the parameters (i.e., infection rate and recovery rate) governing the spread of epidemics in networks. Such parameters are typically estimated by measuring various characteristics (such as the number of infected and recovered individuals) of the infected populations over time. However, these measurements also incur certain costs, depending on the population being… ▽ More We study the problem of estimating the parameters (i.e., infection rate and recovery rate) governing the spread of epidemics in networks. Such parameters are typically estimated by measuring various characteristics (such as the number of infected and recovered individuals) of the infected populations over time. However, these measurements also incur certain costs, depending on the population being tested and the times at which the tests are administered. We thus formulate the epidemic parameter estimation problem as an optimization problem, where the goal is to either minimize the total cost spent on collecting measurements, or to optimize the parameter estimates while remaining within a measurement budget. We show that these problems are NP-hard to solve in general, and then propose approximation algorithms with performance guarantees. We validate our algorithms using numerical examples. △ Less

Submitted 10 May, 2021; originally announced May 2021.

The Effect of Population Flow on Epidemic Spread: Analysis and Control

Authors: Brooks Butler, Ciyuan Zhang, Ian Walter, Nishant Nair, Raphael Stern, Philip E. Paré

Abstract: In this paper, we present a discrete-time networked SEIR model using population flow, its derivation, and assumptions under which this model is well defined. We identify properties of the system's equilibria, namely the healthy states. We show that the set of healthy states is asymptotically stable, and that the value of the equilibria becomes equal across all sub-populations as a result of the ne… ▽ More In this paper, we present a discrete-time networked SEIR model using population flow, its derivation, and assumptions under which this model is well defined. We identify properties of the system's equilibria, namely the healthy states. We show that the set of healthy states is asymptotically stable, and that the value of the equilibria becomes equal across all sub-populations as a result of the network flow model. Furthermore, we explore closed-loop feedback control of the system by limiting flow between sub-populations as a function of the current infected states. These results are illustrated via simulation based on flight traffic between major airports in the United States. We find that a flow restriction strategy combined with a vaccine roll-out significantly reduces the total number of infections over the course of an epidemic, given that the initial flow restriction response is not delayed. △ Less

Submitted 15 April, 2021; originally announced April 2021.

Comments: Submitted to CDC 2021, 14 pages, 5 figures

On a Network SIS Epidemic Model with Cooperative and Antagonistic Opinion Dynamics

Authors: Baike She, Ji Liu, Shreyas Sundaram, Philip E. Paré

Abstract: We propose a mathematical model to study coupled epidemic and opinion dynamics in a network of communities. Our model captures SIS epidemic dynamics whose evolution is dependent on the opinions of the communities toward the epidemic, and vice versa. In particular, we allow both cooperative and antagonistic interactions, representing similar and opposing perspectives on the severity of the epidemic… ▽ More We propose a mathematical model to study coupled epidemic and opinion dynamics in a network of communities. Our model captures SIS epidemic dynamics whose evolution is dependent on the opinions of the communities toward the epidemic, and vice versa. In particular, we allow both cooperative and antagonistic interactions, representing similar and opposing perspectives on the severity of the epidemic, respectively. We propose an Opinion-Dependent Reproduction Number to characterize the mutual influence between epidemic spreading and opinion dissemination over the networks. Through stability analysis of the equilibria, we explore the impact of opinions on both epidemic outbreak and eradication, characterized by bounds on the Opinion-Dependent Reproduction Number. We also show how to eradicate epidemics by resha** the opinions, offering researchers an approach for designing control strategies to reach target audiences to ensure effective epidemic suppression. △ Less

Submitted 30 December, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Estimation and Distributed Eradication of SIR Epidemics on Networks

Authors: Ciyuan Zhang, Humphrey Leung, Brooks Butler, Philip. E. Paré

Abstract: This work examines the discrete-time networked SIR (susceptible-infected-recovered) epidemic model, where the infection and recovery parameters may be time-varying. We provide a sufficient condition for the SIR model to converge to the set of healthy states exponentially. We propose a stochastic framework to estimate the system states from observed testing data and provide an analytic expression f… ▽ More This work examines the discrete-time networked SIR (susceptible-infected-recovered) epidemic model, where the infection and recovery parameters may be time-varying. We provide a sufficient condition for the SIR model to converge to the set of healthy states exponentially. We propose a stochastic framework to estimate the system states from observed testing data and provide an analytic expression for the error of the estimation algorithm. Employing the estimated and the true system states, we provide two novel eradication strategies that guarantee at least exponential convergence to the set of healthy states. We illustrate the results via simulations over northern Indiana, USA. △ Less

Submitted 26 February, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: Corrected typos, fundings added

Networked Multi-Virus Spread with a Shared Resource: Analysis and Mitigation Strategies

Authors: Axel Janson, Sebin Gracy, Philip E. Paré, Henrik Sandberg, Karl H. Johansson

Abstract: The paper studies multi-competitive continuous-time epidemic processes in the presence of a shared resource. We consider the setting where multiple viruses are simultaneously prevalent in the population, and the spread occurs due to not only individual-to-individual interaction but also due to individual-to-resource interaction. In such a setting, an individual is either not affected by any of the… ▽ More The paper studies multi-competitive continuous-time epidemic processes in the presence of a shared resource. We consider the setting where multiple viruses are simultaneously prevalent in the population, and the spread occurs due to not only individual-to-individual interaction but also due to individual-to-resource interaction. In such a setting, an individual is either not affected by any of the viruses, or infected by one and exactly one of the multiple viruses. We classify the equilibria into three classes: a) the healthy state (all viruses are eradicated), b) single-virus endemic equilibria (all but one viruses are eradicated), and c) coexisting equilibria (multiple viruses simultaneously infect separate fractions of the population). We provide i) a sufficient condition for exponential (resp. asymptotic) eradication of a virus; ii) a sufficient condition for the existence, uniqueness and asymptotic stability of a single-virus endemic equilibrium; iii) a necessary and sufficient condition for the healthy state to be the unique equilibrium; and iv) for the bi-virus setting (i.e., two competing viruses), a sufficient condition and a necessary condition for the existence of a coexisting equilibrium. Building on these analytical results, we provide two mitigation strategies: a technique that guarantees convergence to the healthy state; and, in a bi-virus setup, a scheme that employs one virus to ensure that the other virus is eradicated. The results are illustrated in a numerical study of a spread scenario in Stockholm city. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Maximizing Privacy in MIMO Cyber-Physical Systems Using the Chapman-Robbins Bound

Authors: Rijad Alisic, Marco Molinari, Philip E. Paré, Henrik Sandberg

Abstract: Privacy breaches of cyber-physical systems could expose vulnerabilities to an adversary. Here, privacy leaks of step inputs to linear-time-invariant systems are mitigated through additive Gaussian noise. Fundamental lower bounds on the privacy are derived, which are based on the variance of any estimator that seeks to recreate the input. Fully private inputs are investigated and related to transmi… ▽ More Privacy breaches of cyber-physical systems could expose vulnerabilities to an adversary. Here, privacy leaks of step inputs to linear-time-invariant systems are mitigated through additive Gaussian noise. Fundamental lower bounds on the privacy are derived, which are based on the variance of any estimator that seeks to recreate the input. Fully private inputs are investigated and related to transmission zeros. Thereafter, a method to increase the privacy of optimal step inputs is presented and a privacy-utility trade-off bound is derived. Finally, these results are verified on data from the KTH Live-In Lab Testbed, showing good correspondence with theoretical results. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Data-Driven Distributed Mitigation Strategies and Analysis of Mutating Epidemic Processes

Authors: Philip E Pare, Sebin Gracy, Henrik Sandberg, Karl Henrik Johansson

Abstract: In this paper we study a discrete-time SIS (susceptible-infected-susceptible) model, where the infection and healing parameters and the underlying network may change over time. We provide conditions for the model to be well-defined and study its stability. For systems with homogeneous infection rates over symmetric graphs,we provide a sufficient condition for global exponential stability (GES) of… ▽ More In this paper we study a discrete-time SIS (susceptible-infected-susceptible) model, where the infection and healing parameters and the underlying network may change over time. We provide conditions for the model to be well-defined and study its stability. For systems with homogeneous infection rates over symmetric graphs,we provide a sufficient condition for global exponential stability (GES) of the healthy state, that is, where the virus is eradicated. For systems with heterogeneous virus spread over directed graphs, provided that the variation is not too fast, a sufficient condition for GES of the healthy state is established. △ Less

Submitted 22 October, 2020; v1 submitted 17 August, 2020; originally announced August 2020.

Bounding Privacy Leakage in Smart Buildings

Authors: Rijad Alisic, Marco Molinari, Philip E. Paré, Henrik Sandberg

Abstract: Smart building management systems rely on sensors to optimize the operation of buildings. If an unauthorized user gains access to these sensors, a privacy leak may occur. This paper considers such a potential leak of privacy in a smart residential building, and how it may be mitigated through corrupting the measurements with additive Gaussian noise. This corruption is done in order to hide the occ… ▽ More Smart building management systems rely on sensors to optimize the operation of buildings. If an unauthorized user gains access to these sensors, a privacy leak may occur. This paper considers such a potential leak of privacy in a smart residential building, and how it may be mitigated through corrupting the measurements with additive Gaussian noise. This corruption is done in order to hide the occupancy change in an apartment. A lower bound on the variance of any estimator that estimates the change time is derived. The bound is then used to analyze how different model parameters affect the variance. It is shown that the signal to noise ratio and the system dynamics are the main factors that affect the bound. These results are then verified on a simulator of the KTH Live-In Lab Testbed, showing good correspondence with theoretical results. △ Less

Submitted 29 March, 2020; originally announced March 2020.

Analysis, Online Estimation, and Validation of a Competing Virus Model

Authors: Philip E. Pare, Damir Vrabac, Henrik Sandberg, Karl H. Johansson

Abstract: In this paper we introduce a discrete time competing virus model and the assumptions necessary for the model to be well posed. We analyze the system exploring its different equilibria. We provide necessary and sufficient conditions for the estimation of the model parameters from time series data and introduce an online estimation algorithm. We employ a dataset of two competing subsidy programs fro… ▽ More In this paper we introduce a discrete time competing virus model and the assumptions necessary for the model to be well posed. We analyze the system exploring its different equilibria. We provide necessary and sufficient conditions for the estimation of the model parameters from time series data and introduce an online estimation algorithm. We employ a dataset of two competing subsidy programs from the US Department of Agriculture to validate the model by employing the identification techniques. To the best of our knowledge, this work is the first to study competing virus models in discrete-time, online identification of spread parameters from time series data, and validation of said models using real data. These new contributions are important for applications since real data is naturally sampled. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: arXiv admin note: text overlap with arXiv:1710.11149

Analysis and distributed control of periodic epidemic processes

Authors: Sebin Gracy, Philip. E. Pare, Henrik Sandberg, Karl Henrik Johansson

Abstract: This paper studies epidemic processes over discrete-time periodic time-varying networks. We focus on the susceptible-infected-susceptible (SIS) model that accounts for a (possibly) mutating virus. We say that an agent is in the disease-free state if it is not infected by the virus. Our objective is to devise a control strategy which ensures that all agents in a network exponentially (resp. asympto… ▽ More This paper studies epidemic processes over discrete-time periodic time-varying networks. We focus on the susceptible-infected-susceptible (SIS) model that accounts for a (possibly) mutating virus. We say that an agent is in the disease-free state if it is not infected by the virus. Our objective is to devise a control strategy which ensures that all agents in a network exponentially (resp. asymptotically) converge to the disease-free equilibrium (DFE). Towards this end, we first provide a) sufficient conditions for exponential (resp. asymptotic) convergence to the DFE; and b) a necessary and sufficient condition for asymptotic convergence to the DFE. The sufficient condition for global exponential stability (GES) (resp. global asymptotic stability (GAS)) of the DFE is in terms of the joint spectral radius of a set of suitably-defined matrices, whereas the necessary and sufficient condition for GAS of the DFE involves the spectral radius of an appropriately-defined product of matrices. Subsequently, we leverage the stability results in order to design a distributed control strategy for eradicating the epidemic. △ Less

Submitted 17 November, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Going Viral: Stability of Consensus-Driven Adoptive Spread

Authors: Sebastian F. Ruf, Keith Paarporn, Philip E. Paré

Abstract: The spread of new products in a networked population is often modeled as an epidemic. However, in the case of `complex' contagion, these models {do not capture nuanced, dynamic social reinforcement effects in adoption behavior}. In this paper, we investigate a model of complex contagion which allows a coevolutionary interplay between adoption, modeled as an SIS epidemic spreading process, and soci… ▽ More The spread of new products in a networked population is often modeled as an epidemic. However, in the case of `complex' contagion, these models {do not capture nuanced, dynamic social reinforcement effects in adoption behavior}. In this paper, we investigate a model of complex contagion which allows a coevolutionary interplay between adoption, modeled as an SIS epidemic spreading process, and social reinforcement effects, modeled as consensus opinion dynamics. Asymptotic stability analysis of the all-adopt as well as the none-adopt equilibria of the combined opinion-adoption model is provided through the use of Lyapunov arguments. In doing so, sufficient conditions are provided which determine the stability of the `flop' state, where no one adopts the product and everyone's opinion of the product is least favorable, and the `hit' state, where everyone adopts and their opinions are most favorable. These conditions are shown to extend to the bounded confidence opinion dynamic under a stronger assumption on the model parameters. To conclude, numerical simulations demonstrate behavior of the model which reflect findings from the sociology literature on adoption behavior. △ Less

Submitted 14 February, 2019; v1 submitted 12 September, 2018; originally announced September 2018.