TY - GEN
T1 - Efficient Estimation of Agent Networks
AU - Leguizamon Robayo, Alexander
AU - Tschaikowski, Max
PY - 2022
Y1 - 2022
N2 - Collective adaptive systems (CAS) are characterized by the presence of many agents and an environment which interact with each other. As a consequence, they give rise to global dynamics which cannot be analyzed by considering agents in isolation. While the modeling of CAS via agent (reaction) networks gained momentum, obtaining reliable forecasts is computationally difficult because parameters are often subject to uncertainty. It has been therefore recently proposed to obtain reliable estimates on global dynamics of agent networks from local agent behavior. To this end, dependencies among agents were replaced by exogenous parameters, allowing one thus to estimate the global dynamics via agent decoupling. The present work introduces the notion of estimation equivalence, a model reduction technique for systems of nonlinear differential equations that allows one to replace the aforementioned decoupled model by a smaller one which is easier to analyze. We demonstrate the framework on a multi-class SIRS model from epidemiology and obtain a speed-up factor that is proportional to the number of population classes.
AB - Collective adaptive systems (CAS) are characterized by the presence of many agents and an environment which interact with each other. As a consequence, they give rise to global dynamics which cannot be analyzed by considering agents in isolation. While the modeling of CAS via agent (reaction) networks gained momentum, obtaining reliable forecasts is computationally difficult because parameters are often subject to uncertainty. It has been therefore recently proposed to obtain reliable estimates on global dynamics of agent networks from local agent behavior. To this end, dependencies among agents were replaced by exogenous parameters, allowing one thus to estimate the global dynamics via agent decoupling. The present work introduces the notion of estimation equivalence, a model reduction technique for systems of nonlinear differential equations that allows one to replace the aforementioned decoupled model by a smaller one which is easier to analyze. We demonstrate the framework on a multi-class SIRS model from epidemiology and obtain a speed-up factor that is proportional to the number of population classes.
U2 - 10.1007/978-3-031-19759-8_13
DO - 10.1007/978-3-031-19759-8_13
M3 - Article in proceeding
SN - 978-3-031-19758-1
T3 - Lecture Notes in Computer Science
BT - Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.
PB - Springer
T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Y2 - 22 October 2022 through 30 October 2022
ER -