The dynamics of disease transmission strongly depends on the properties of the population contact network. Pair-approximation models and individual-based network simulation have been used extensively to model contact networks with non-trivial properties. In this paper, using a continuous time Markov chain, we start from the exact formulation of a simple epidemic model on an arbitrary contact ne...

In this work we show how the lumping of states of a finite Markov chain can be regarded as a special decomposition of its transition matrix called stochastic factorization. The idea is simple: when a transition matrix is factored into the product of two stochastic matrices, one can swap the factors of the multiplication to obtain another model, potentially much smaller than the original one. We...

with the increase of communication and financial transaction through internet, on-line signature verification is an accepted biometric technology for access control and plays a significant role in authenticity and authorization in modernized society. therefore, fast and precise algorithms for the signature verification are very attractive. the goal of this paper is modeling of velocity signal t...

In this paper, the structural properties of chemical reaction systems obeying the mass action law are investigated and related to the physical and chemical properties of the system. An entropy-based Lyapunov function candidate serves as a tool for proving structural stability, the existence of which is guaranteed by the second law of thermodynamics. The commonly used engineering model reduction...

The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besides being a congruence, Markovian bisimilarity is consistent with ordinary lumping, an exact aggregation for Markov chains. In this paper we show that two non-bisimulation-based Markovian behavioral equivalences – Marko...

In this paper we construct spatially consistent second order explicit discretizations for time dependent hyperbolic problems, starting from a given Residual Distribution (RD) discrete approximation of the steady operator. We explore the properties of the RD mass matrices necessary to achieve consistency in space, and finally show how to make use of second order mass lumping to obtain second ord...

We present the construction of a planar vector field that yields the firing rate of a bursting Izhikevich neuron can be read out, while leaving the sub-threshold behavior intact. This planar vector field is used to derive lumped formulations of two complex heterogeneous networks of bursting Izhikevich neurons. In both cases, the lumped model is compared with the spiking network. There is excell...

Many approaches to tackle the state explosion problem of Markov chains are based on the notion of lumpability, which allows computation of measures using the quotient Markov chain, which, in some cases, has much smaller state space than the original one. We present, for the first time, a symbolic algorithm and its implementation for the lumping of Markov chains that are represented using Multi-...