In this paper, we deal with the lumpability approach to cope with the state space explosion
problem inherent to the computation of the stationary performance indices of large stochastic …

We deal with the lumpability approach to cope with the state space explosion problem
inherent to the computation of the performance indices of large stochastic models using a …

This paper explores the concept of proportional lumpability as an extension of the original
definition of lumpability, addressing the challenges posed by the state space explosion …

Dynamical systems with large state-spaces are often expensive to thoroughly explore
experimentally. Coarse-graining methods aim to define simpler systems which are more …

Model reduction is a fundamental technique utilized across various disciplines, such as
engineering, physics, and compu-tational sciences, to simplify complex mathematical …

We deal with the lumpability approach to cope with the state space explosion problem
inherent to the computation of the performance indices of large stochastic models using a …

In this thesis a security property for stochastic, cooperating processes expressed as terms of
the Performance Evaluation Process Algebra (PEPA) is studied. It is expressed as the notion …