-
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.
-
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.
-
Differentially Private Computation of Basic Reproduction Numbers in Networked Epidemic Models
Authors:
Bo Chen,
Baike She,
Calvin Hawkins,
Alex Benvenuti,
Brandon Fallin,
Philip E. Paré,
Matthew Hale
Abstract:
The basic reproduction number of a networked epidemic model, denoted $R_0$, can be computed from a network's topology to quantify epidemic spread. However, disclosure of $R_0$ risks revealing sensitive information about the underlying network, such as an individual's relationships within a social network. Therefore, we propose a framework to compute and release $R_0$ in a differentially private wa…
▽ More
The basic reproduction number of a networked epidemic model, denoted $R_0$, can be computed from a network's topology to quantify epidemic spread. However, disclosure of $R_0$ risks revealing sensitive information about the underlying network, such as an individual's relationships within a social network. Therefore, we propose a framework to compute and release $R_0$ in a differentially private way. First, we provide a new result that shows how $R_0$ can be used to bound the level of penetration of an epidemic within a single community as a motivation for the need of privacy, which may also be of independent interest. We next develop a privacy mechanism to formally safeguard the edge weights in the underlying network when computing $R_0$. Then we formalize tradeoffs between the level of privacy and the accuracy of values of the privatized $R_0$. To show the utility of the private $R_0$ in practice, we use it to bound this level of penetration under privacy, and concentration bounds on these analyses show they remain accurate with privacy implemented. We apply our results to real travel data gathered during the spread of COVID-19, and we show that, under real-world conditions, we can compute $R_0$ in a differentially private way while incurring errors as low as $7.6\%$ on average.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Analysis and Applications of Population Flows in a Networked SEIRS Epidemic Process
Authors:
Brooks A. Butler,
Raphael Stern,
Philip E. Paré
Abstract:
Transportation networks play a critical part in the spread of infectious diseases between populations. In this work, we define a networked susceptible-exposed-infected-recovered epidemic process with loss of immunity over time (SEIRS) that explicitly models the flow of individuals between sub-populations, which serves as the propagating mechanism for infection. We provide sufficient conditions for…
▽ More
Transportation networks play a critical part in the spread of infectious diseases between populations. In this work, we define a networked susceptible-exposed-infected-recovered epidemic process with loss of immunity over time (SEIRS) that explicitly models the flow of individuals between sub-populations, which serves as the propagating mechanism for infection. We provide sufficient conditions for local stability and instability of the healthy state of the system and show that no perturbation of population flows can change the local stability of any healthy state. We also provide sufficient conditions for the existence and uniqueness of an endemic state. We then develop tools and methods for applying our model to real-world data, including spreading parameter estimation and disease arrival time prediction, and apply them in a case study using both travel and infection data from counties in Minnesota during the first year of the COVID-19 pandemic.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
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.
-
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.
-
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.
-
Fair Curing and Network Design in SIS Epidemic Processes
Authors:
Yuhao Yi,
Liren Shan,
Philip E. Paré,
Karl H. Johansson
Abstract:
This paper studies efficient algorithms for dynamic curing policies and the corresponding network design problems to guarantee the fast extinction of epidemic spread in a susceptible-infected-susceptible (SIS) model. We consider a Markov process-based SIS epidemic model. We call a curing policy fair if demographic groups are cured with comparable speeds. We propose a fair curing policy based on th…
▽ More
This paper studies efficient algorithms for dynamic curing policies and the corresponding network design problems to guarantee the fast extinction of epidemic spread in a susceptible-infected-susceptible (SIS) model. We consider a Markov process-based SIS epidemic model. We call a curing policy fair if demographic groups are cured with comparable speeds. We propose a fair curing policy based on the curing policy of Drakopoulos et al. Since these optimization problems are NP-hard, finding optimal policies is intractable for large graphs. We provide approximation guarantees on both curing and fair curing policies. Moreover, when the total infection rate is large, the original curing policy includes a waiting period in which no measures are taken to mitigate the spread until the rate slows down. To avoid the waiting period, we study network design problems to reduce the total infection rate by deleting edges or reducing the weight of edges. Then the curing processes become continuous since the total infection rate is restricted by network design. We provide algorithms with provable guarantees for the considered network design problems. In summary, the proposed fair curing and network design algorithms together provide an effective, fair, and computationally efficient approach that mitigates SIS epidemic spread in networks.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
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.
-
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 10 July, 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.
-
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.
-
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.
-
Analysis and Estimation of Networked SIR & SEIR Models with Transportation Networks
Authors:
Damir Vrabac,
Raphael Stern,
Philip E. Paré
Abstract:
In this paper we present the discrete-time networked SIR and SEIR models and present assumptions under which they are well defined. We analyze the limiting behavior of the models and present necessary and sufficient conditions for estimating the spreading parameters from data. We illustrate these results via simulation.
In this paper we present the discrete-time networked SIR and SEIR models and present assumptions under which they are well defined. We analyze the limiting behavior of the models and present necessary and sufficient conditions for estimating the spreading parameters from data. We illustrate these results via simulation.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Edge Deletion Algorithms for Minimizing Spread in SIR Epidemic Models
Authors:
Yuhao Yi,
Liren Shan,
Philip E. Paré,
Karl H. Johansson
Abstract:
This paper studies algorithmic strategies to effectively reduce the number of infections in susceptible-infected-recovered (SIR) epidemic models. We consider a Markov chain SIR model and its two instantiations in the deterministic SIR (D-SIR) model and the independent cascade SIR (IC-SIR) model. We investigate the problem of minimizing the number of infections by restricting contacts under realist…
▽ More
This paper studies algorithmic strategies to effectively reduce the number of infections in susceptible-infected-recovered (SIR) epidemic models. We consider a Markov chain SIR model and its two instantiations in the deterministic SIR (D-SIR) model and the independent cascade SIR (IC-SIR) model. We investigate the problem of minimizing the number of infections by restricting contacts under realistic constraints. Under moderate assumptions on the reproduction number, we prove that the infection numbers are bounded by supermodular functions in the D-SIR model and the IC-SIR model for large classes of random networks. We propose efficient algorithms with approximation guarantees to minimize infections. The theoretical results are illustrated by numerical simulations.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
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.
-
A Closed-Loop Framework for Inference, Prediction and Control of SIR Epidemics on Networks
Authors:
Ashish R. Hota,
Jaydeep Godbole,
Philip E Paré
Abstract:
Motivated by the ongoing pandemic COVID-19, we propose a closed-loop framework that combines inference from testing data, learning the parameters of the dynamics and optimal resource allocation for controlling the spread of the susceptible-infected-recovered (SIR) epidemic on networks. Our framework incorporates several key factors present in testing data, such as the fact that high risk individua…
▽ More
Motivated by the ongoing pandemic COVID-19, we propose a closed-loop framework that combines inference from testing data, learning the parameters of the dynamics and optimal resource allocation for controlling the spread of the susceptible-infected-recovered (SIR) epidemic on networks. Our framework incorporates several key factors present in testing data, such as the fact that high risk individuals are more likely to undergo testing. We then present two tractable optimization problems to evaluate the trade-off between controlling the growth-rate of the epidemic and the cost of non-pharmaceutical interventions (NPIs). We illustrate the significance of the proposed closed-loop framework via extensive simulations and analysis of real, publicly-available testing data for COVID-19. Our results illustrate the significance of early testing and the emergence of a second wave of infections if NPIs are prematurely withdrawn.
△ Less
Submitted 25 April, 2021; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Controlling a Networked SIS Model via a Single Input over Undirected Graphs
Authors:
Dan Wang,
Ji Liu,
Philip E. Paré,
Wei Chen,
Li Qiu,
Carolyn L. Beck,
Tamer Başar
Abstract:
This paper formulates and studies the problem of controlling a networked SIS model using a single input in which the network structure is described by a connected undirected graph. A necessary and sufficient condition on the values of curing and infection rates for the healthy state to be exponentially stable is obtained via the analysis of signed Laplacians when the control input is the curing bu…
▽ More
This paper formulates and studies the problem of controlling a networked SIS model using a single input in which the network structure is described by a connected undirected graph. A necessary and sufficient condition on the values of curing and infection rates for the healthy state to be exponentially stable is obtained via the analysis of signed Laplacians when the control input is the curing budget of a single agent. In the case when the healthy state is stabilizable, an explicit expression for the minimum curing budget is provided. The utility of the algorithm is demonstrated using a simulation over a network of cities in the northeastern United States.
△ Less
Submitted 23 April, 2020;
originally announced April 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.
-
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.
-
Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation
Authors:
Philip E. Paré,
David Grimsman,
Alma T. Wilson,
Mark K. Transtrum,
Sean Warnick
Abstract:
We show that two widely accepted model reduction techniques, Balanced Truncation and Balanced Singular Perturbation Approximation, can be derived as limiting approximations of a carefully constructed parameterization of Linear Time Invariant (LTI) systems by employing the Model Boundary Approximation Method (MBAM), a recent development in the Physics literature. This unifying framework of these po…
▽ More
We show that two widely accepted model reduction techniques, Balanced Truncation and Balanced Singular Perturbation Approximation, can be derived as limiting approximations of a carefully constructed parameterization of Linear Time Invariant (LTI) systems by employing the Model Boundary Approximation Method (MBAM), a recent development in the Physics literature. This unifying framework of these popular model reduction techniques shows that Balanced Truncation and Balanced Singular Perturbation Approximation each correspond to a particular boundary point on a manifold, the "model manifold," which is associated with the specific choice of model parameterization and initial condition, and is embedded in a sample space of measured outputs, which can be chosen arbitrarily, provided that the number of samples exceeds the number of parameters. We also show that MBAM provides a novel way to interpolate between Balanced Truncation and Balanced Singular Perturbation Approximation, by exploring the set of approximations on the boundary of the manifold between the elements that correspond to the two model reduction techniques; this allows for alternative approximations of a given system to be found that may be better under certain conditions. The work herein suggests similar types of approximations may be obtainable in topologically similar places (i.e. on certain boundaries) on the model manifold of nonlinear systems if analogous parameterizations can be achieved, therefore extending these widely accepted model reduction techniques to nonlinear systems.
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
Analysis and Control of a Continuous-Time Bi-Virus Model
Authors:
Ji Liu,
Philip E. Pare,
Angelia Nedich,
Choon Yik Tang,
Carolyn L. Beck,
Tamer Basar
Abstract:
This paper studies a distributed continuous-time bi-virus model in which two competing viruses spread over a network consisting of multiple groups of individuals. Limiting behaviors of the network are characterized by analyzing the equilibria of the system and their stability. Specifically, when the two viruses spread over possibly different directed infection graphs, the system may have (1) a uni…
▽ More
This paper studies a distributed continuous-time bi-virus model in which two competing viruses spread over a network consisting of multiple groups of individuals. Limiting behaviors of the network are characterized by analyzing the equilibria of the system and their stability. Specifically, when the two viruses spread over possibly different directed infection graphs, the system may have (1) a unique equilibrium, the healthy state, which is globally stable, implying that both viruses will eventually be eradicated, (2) two equilibria including the healthy state and a dominant virus state, which is almost globally stable, implying that one virus will pervade the entire network causing a single-virus epidemic while the other virus will be eradicated, or (3) at least three equilibria including the healthy state and two dominant virus states, depending on certain conditions on the healing and infection rates. When the two viruses spread over the same directed infection graph, the system may have zero or infinitely many coexisting epidemic equilibria, which represents the pervasion of the two viruses. Sensitivity properties of some nontrivial equilibria are investigated in the context of a decentralized control technique, and an impossibility result is given for a certain type of distributed feedback controller.
△ Less
Submitted 1 January, 2019;
originally announced January 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.
-
Analysis, Identification, and Validation of Discrete-Time Epidemic Processes
Authors:
Philip E. Pare,
Ji Liu,
Carolyn L. Beck,
Barret E. Kirwan,
Tamer Basar
Abstract:
Models of spread processes over non-trivial networks are commonly motivated by modeling and analysis of biological networks, computer networks, and human contact networks. However, identification of such models has not yet been explored in detail, and the models have not been validated by real data. In this paper, we present several different spread models from the literature and explore their rel…
▽ More
Models of spread processes over non-trivial networks are commonly motivated by modeling and analysis of biological networks, computer networks, and human contact networks. However, identification of such models has not yet been explored in detail, and the models have not been validated by real data. In this paper, we present several different spread models from the literature and explore their relationships to each other; for one of these processes, we present a sufficient condition for asymptotic stability of the healthy equilibrium, show that the condition is necessary and sufficient for uniqueness of the healthy equilibrium, and present necessary and sufficient conditions for learning the spread parameters. Finally, we employ two real datasets, one from John Snow's seminal work on cholera epidemics in London in the 1850's and the other one from the United States Department of Agriculture, to validate an approximation of a well-studied network-dependent susceptible-infected-susceptible (SIS) model.
△ Less
Submitted 24 January, 2020; v1 submitted 30 October, 2017;
originally announced October 2017.
-
Multi-Competitive Viruses over Static and Time--Varying Networks
Authors:
Philip E. Paré,
Ji Liu,
Carolyn L. Beck,
Angelia Nedić,
Tamer Başar
Abstract:
Epidemic processes are used commonly for modeling and analysis of biological networks, computer networks, and human contact networks. The idea of competing viruses has been explored recently, motivated by the spread of different ideas along different social networks. Previous studies of competitive viruses have focused only on two viruses and on static graph structures. In this paper, we consider…
▽ More
Epidemic processes are used commonly for modeling and analysis of biological networks, computer networks, and human contact networks. The idea of competing viruses has been explored recently, motivated by the spread of different ideas along different social networks. Previous studies of competitive viruses have focused only on two viruses and on static graph structures. In this paper, we consider multiple competing viruses over static and dynamic graph structures, and investigate the eradication and propagation of diseases in these systems. Stability analysis for the class of models we consider is performed and an antidote control technique is proposed.
△ Less
Submitted 15 May, 2017; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Epidemic Processes over Time-Varying Networks
Authors:
Philip E. Paré,
Angelia Nedić,
Carolyn L. Beck
Abstract:
The spread of viruses in biological networks, computer networks, and human contact networks can have devastating effects; develo** and analyzing mathematical models of these systems can be insightful and lead to societal benefits. Prior research has focused mainly on network models with static graph structures, however the systems being modeled typically have dynamic graph structures. Therefore…
▽ More
The spread of viruses in biological networks, computer networks, and human contact networks can have devastating effects; develo** and analyzing mathematical models of these systems can be insightful and lead to societal benefits. Prior research has focused mainly on network models with static graph structures, however the systems being modeled typically have dynamic graph structures. Therefore to better understand and analyze virus spread, further study is required. In this paper, we consider virus spread models over networks with dynamic graph structures, and investigate the behavior of diseases in these systems. A stability analysis of epidemic processes over time-varying networks is performed, examining conditions for the disease free equilibrium, in both the deterministic and stochastic cases. We present simulation results, propose a number of corollaries based on these simulations, and discuss quarantine control via simulation.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
On the Analysis of a Continuous-Time Bi-Virus Model
Authors:
Ji Liu,
Philip E. Paré,
Angelia Nedić,
Choon Yik Tang,
Carolyn L. Beck,
Tamer Başar
Abstract:
Motivated by the spread of opinions on different social networks, we study a distributed continuous-time bi-virus model for a system of groups of individuals. An in-depth stability analysis is performed for more general models than have been previously considered, for the healthy and epidemic states. In addition, we investigate sensitivity properties of some nontrivial equilibria and obtain an imp…
▽ More
Motivated by the spread of opinions on different social networks, we study a distributed continuous-time bi-virus model for a system of groups of individuals. An in-depth stability analysis is performed for more general models than have been previously considered, for the healthy and epidemic states. In addition, we investigate sensitivity properties of some nontrivial equilibria and obtain an impossibility result for distributed feedback control.
△ Less
Submitted 18 March, 2016; v1 submitted 13 March, 2016;
originally announced March 2016.
-
Measurement of the Crab Flux Above 60 GeV with the CELESTE Cherenkov Telescope
Authors:
M. De Naurois,
J. Holder,
R. Bazer-Bachi,
H. Bergeret,
P. Bruel,
A. Cordier,
G. Debiais,
J-P. Dezalay,
D. Dumora,
E. Durand,
P. Eschstruth,
P. Espigat,
B. Fabre,
P. Fleury,
N. Herault,
M. Hrabovsky,
S. Incerti,
R. Le Gallou,
F. Munz,
A. Musquere,
J-F. Olive,
E. Pare,
J. Quebert,
R. C. Rannot,
T. Reposeur
, et al. (7 additional authors not shown)
Abstract:
We have converted the former solar electrical plant THEMIS (French Pyrenees) into an atmospheric Cherenkov detector called CELESTE, which records gamma rays above 30 GeV (7E24 Hz). Here we present the first sub-100 GeV detection by a ground based telescope of a gamma ray source, the Crab nebula, in the energy region between satellite measurements and imaging atmospheric Cherenkov telescopes. At…
▽ More
We have converted the former solar electrical plant THEMIS (French Pyrenees) into an atmospheric Cherenkov detector called CELESTE, which records gamma rays above 30 GeV (7E24 Hz). Here we present the first sub-100 GeV detection by a ground based telescope of a gamma ray source, the Crab nebula, in the energy region between satellite measurements and imaging atmospheric Cherenkov telescopes. At our analysis threshold energy of 60 +/- 20 GeV we measure a gamma ray rate of 6.1 +/- 0.8 per minute. Allowing for 30% systematic uncertainties and a 30% error on the energy scale yields an integral gamma ray flux of I(E>60 GeV) = 6.2^{+5.3}_{-2.3} E-6 photons m^-2 s^-1. The analysis methods used to obtain the gamma ray signal from the raw data are detailed. In addition, we determine the upper limit for pulsed emission to be <12% of the Crab flux at the 99% confidence level, in the same energy range. Our result indicates that if the power law observed by EGRET is attenuated by a cutoff of form e^{-E/E_0} then E_0 < 26 GeV. This is the lowest energy probed by a Cherenkov detector and leaves only a narrow range unexplored beyond the energy range studied by EGRET.
△ Less
Submitted 5 December, 2001; v1 submitted 17 July, 2001;
originally announced July 2001.
-
Very High Energy Gamma-ray spectral properties of Mrk 501 from CAT Cerenkov telescope observations in 1997
Authors:
A. Djannati-Atai,
F. Piron,
A. Barrau,
L. Iacoucci,
M. Punch,
J. -P. Tavernet,
R. Bazer-Bachi,
H. Cabot,
L. -M. Chounet,
G. Debiais,
B. Degrange,
J. -P. Dezalay,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
C. Ghesquière,
P. Goret,
C. Gouiffes,
I. A. Grenier,
S. Le Bohec,
I. Malet,
C. Meynadier,
G. Mohanty
, et al. (9 additional authors not shown)
Abstract:
The BL Lac object Mrk 501 went into a very high state of activity during 1997, both in VHE gamma-rays and X-rays. We present here results from observations at energies above 250 GeV carried out between March and October 1997 with the CAT Cerenkov imaging Telescope. The average differential spectrum between 30 GeV and 13 TeV shows significant curvature and is well represented by phi_0 * E_TeV^{-(…
▽ More
The BL Lac object Mrk 501 went into a very high state of activity during 1997, both in VHE gamma-rays and X-rays. We present here results from observations at energies above 250 GeV carried out between March and October 1997 with the CAT Cerenkov imaging Telescope. The average differential spectrum between 30 GeV and 13 TeV shows significant curvature and is well represented by phi_0 * E_TeV^{-(alpha + beta*log10(E_TeV))}, with: phi_0 = 5.19 +/- 0.13 {stat} +/- 0.12 {sys-MC} +1.66/-1.04 {sys-atm} * 10^-11 /cm^2/s/TeV alpha = 2.24 +/- 0.04 {stat} +/- 0.05 {sys} beta = 0.50 +/- 0.07 {stat} (negligible systematics). The TeV spectral energy distribution of Mrk 501 clearly peaks in the range 500 GeV-1 TeV. Investigation of spectral variations shows a significant hardness-intensity correlation with no measurable effect on the curvature. This can be described as an increase of the peak TeV emission energy with intensity. Simultaneous and quasi-simultaneous CAT VHE gamma-ray and BeppoSAX hard X-ray detections for the highest recorded flare on 16th April and for lower-activity states of the same period show correlated variability with a higher luminosity in X-rays than in gamma-rays. The observed spectral energy distribution and the correlated variability between X-rays and gamma-rays, both in amplitude and in hardening of spectra, favour a two-component emission scheme where the low and high energy components are attributed to synchrotron and inverse Compton (IC) radiation, respectively.
△ Less
Submitted 27 March, 2000; v1 submitted 3 June, 1999;
originally announced June 1999.
-
A new analysis method for very high definition Imaging Atmospheric Cherenkov Telescopes as applied to the CAT telescope
Authors:
S. Le Bohec,
B. Degrange,
M. Punch,
A. Barrau,
R. Bazer-Bachi,
H. Cabot,
L. M Chounet,
G. Debiais,
J. P. Dezalay,
A. Djannati-Atai,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
R. George,
C. Ghesquiere,
P. Goret,
C. Gouiffes,
I. A. Grenier,
L. Iacoucci,
I. Malet,
C. Meynadier,
F. Munz,
T. A. Palfrey
, et al. (11 additional authors not shown)
Abstract:
A new method of shower-image analysis is presented which appears very powerful as applied to those Cherenkov Imaging Telescopes with very high definition imaging capability. It provides hadron rejection on the basis of a single cut on the image shape, and simultaneously determines the energy of the electromagnetic shower and the position of the shower axis with respect to the detector. The sourc…
▽ More
A new method of shower-image analysis is presented which appears very powerful as applied to those Cherenkov Imaging Telescopes with very high definition imaging capability. It provides hadron rejection on the basis of a single cut on the image shape, and simultaneously determines the energy of the electromagnetic shower and the position of the shower axis with respect to the detector. The source location is also reconstructed for each individual gamma-ray shower, even with one single telescope, so for a point source the hadron rejection can be further improved. As an example, this new method is applied to data from the CAT (Cherenkov Array at Themis) imaging telescope, which has been operational since Autumn, 1996.
△ Less
Submitted 14 April, 1998;
originally announced April 1998.
-
The CAT Imaging Telescope for Very-High-Energy Gamma-Ray Astronomy
Authors:
A. Barrau,
R. Bazer-Bachi,
E. Beyer,
H. Cabot,
M. Cerutti,
L. M. Chounet,
G. Debiais,
B. Degrange,
H. Delchini,
J. P. Denance,
G. Descotes,
J. P. Dezalay,
A. Djannati-Atai,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
R. George,
C. Ghesquiere,
J. Gilly,
P. Goret,
C. Gouiffes,
J. C. Gouillaud,
C. Gregory
, et al. (27 additional authors not shown)
Abstract:
The CAT (Cherenkov Array at Themis) imaging telescope, equipped with a very-high-definition camera (546 fast phototubes with 0.12 degrees spacing surrounded by 54 larger tubes in two guard rings) started operation in Autumn 1996 on the site of the former solar plant Themis (France). Using the atmospheric Cherenkov technique, it detects and identifies very high energy gamma-rays in the range 250…
▽ More
The CAT (Cherenkov Array at Themis) imaging telescope, equipped with a very-high-definition camera (546 fast phototubes with 0.12 degrees spacing surrounded by 54 larger tubes in two guard rings) started operation in Autumn 1996 on the site of the former solar plant Themis (France). Using the atmospheric Cherenkov technique, it detects and identifies very high energy gamma-rays in the range 250 GeV to a few tens of TeV. The instrument, which has detected three sources (Crab nebula, Mrk 421 and Mrk 501), is described in detail.
△ Less
Submitted 4 April, 1998;
originally announced April 1998.
-
Prototype Tests for the CELESTE Solar Array Gamma--Ray Telescope
Authors:
B. Giebels,
R. Bazer-Bachi,
H. Bergeret,
A. Cordier,
G. Debiais,
M. De Naurois,
J. P. Dezalay,
D. Dumora,
P. Eschstruth,
P. Espigat,
B. Fabre,
P. Fleury,
C. Ghesquière,
N. Herault,
I. Malet,
B. Merkel,
C. Meynadier,
M. Palatka,
E. Paré,
J. Procureur,
M. Punch,
J. Québert,
K. Ragan,
L. Rob,
P. Schovanek
, et al. (2 additional authors not shown)
Abstract:
The CELESTE experiment will be an Atmospheric Cherenkov detector designed to bridge the gap in energy sensitivity between current satellite and ground-based gamma-ray telescopes, 20 to 300 GeV. We present test results made at the former solar power plant, Themis, in the French Pyrenees. The tests confirm the viability of using a central tower heliostat array for Cherenkov wavefront sampling.
The CELESTE experiment will be an Atmospheric Cherenkov detector designed to bridge the gap in energy sensitivity between current satellite and ground-based gamma-ray telescopes, 20 to 300 GeV. We present test results made at the former solar power plant, Themis, in the French Pyrenees. The tests confirm the viability of using a central tower heliostat array for Cherenkov wavefront sampling.
△ Less
Submitted 17 March, 1998;
originally announced March 1998.
-
Performances of the CAT imaging telescope and some preliminary results on Mkn 180 and the Crab
Authors:
A. Barrau,
R. Bazer-Bachi,
H. Cabot,
L. M. Chounet,
G. Debiais,
B. Degrange,
J. P. Dezalay,
A. Djannati-Atai,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
R. George,
C. Ghesquiere,
P. Goret,
C. Gouiffes,
I. A. Grenier,
L. Iacoucci,
S. Le Bohec,
I. Malet,
C. Meynadier,
P. Munz,
T. A. Palfrey,
E. Pare
, et al. (11 additional authors not shown)
Abstract:
The CAT imaging telesope, which uses the Atmospheric Cherenkov Technique to observe TeV gamma-ray sources, has been operating since September 1996. Located in southern France, it features a fine grained camera consisting of 546 PMT with a pixel size of 0.12 degrees. Strong gamma-ray signals from Mkn 501 above 200 GeV were detected during observations made in April 1997. The high signal/noise rat…
▽ More
The CAT imaging telesope, which uses the Atmospheric Cherenkov Technique to observe TeV gamma-ray sources, has been operating since September 1996. Located in southern France, it features a fine grained camera consisting of 546 PMT with a pixel size of 0.12 degrees. Strong gamma-ray signals from Mkn 501 above 200 GeV were detected during observations made in April 1997. The high signal/noise ratio for these data enables direct characterization of the gamma-ray images as recorded in the camera. These results are used to validate the Monte-Carlo simulations of the response of the telescope to gamma-ray showers and to improve its performances. Observational results on Mkn 180 and the Crab nebula spectrum are presented.
△ Less
Submitted 23 October, 1997;
originally announced October 1997.
-
Spectrum and Variability of Mrk501 as observed by the CAT Imaging Telescope
Authors:
A. Barrau,
R. Bazer-Bachi,
H. Cabot,
L. M. Chounet,
G. Debiais,
B. Degrange,
J. P. Dezalay,
A. Djannati-Atai,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
R. George,
C. ghesquiere,
P. Goret,
C. Gouiffes,
I. A. Grenier,
L. Iacoucci,
S. Le Bohec,
I. Malet,
C. Meynadier,
P. Munz,
T. A. Palfrey,
E. Pare
, et al. (11 additional authors not shown)
Abstract:
The CAT Imaging Telescope has observed the BL Lac object Markarian 501 between March and August 1997. We report here on the variability over this time including several large flares. We present also preliminary spectra for all these data, for the low emission state, and for the largest flare.
The CAT Imaging Telescope has observed the BL Lac object Markarian 501 between March and August 1997. We report here on the variability over this time including several large flares. We present also preliminary spectra for all these data, for the low emission state, and for the largest flare.
△ Less
Submitted 23 October, 1997;
originally announced October 1997.
-
Detection of Vhe Gamma-Rays from MRK 501 with the Cat Imaging Telescope
Authors:
A. Barrau,
R. Bazer-Bachi,
H. Cabot,
L. M. Chounet,
G. Debiais,
B. Degrange,
J. P. Dezalay,
A. Djannati-Atai,
D. Dumora,
P. Espigat,
B. Fabre,
P. Fleury,
G. Fontaine,
R. George,
C. Ghesquiere,
P. Goret,
C. Gouiffes,
I. A. Grenier,
L. Iacoucci,
S. Le Bohec,
I. Mallet,
C. Meynadier,
F. Munz,
T. A. Palfrey,
E. Pare
, et al. (11 additional authors not shown)
Abstract:
The CAT imaging telescope on the site on the former solar plant Themis has been observing gamma-rays from Mrk501 above 220 GeV in March and April 1997. This source is shown to be highly variable and the light curve is presented. The detected gamma-ray rate for the most intense flare is in excess of 10 per minute.
The CAT imaging telescope on the site on the former solar plant Themis has been observing gamma-rays from Mrk501 above 220 GeV in March and April 1997. This source is shown to be highly variable and the light curve is presented. The detected gamma-ray rate for the most intense flare is in excess of 10 per minute.
△ Less
Submitted 30 May, 1997;
originally announced May 1997.