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 -