Abstract Taenia solium taeniasis and cysticercosis are neglected zoonotic diseases that affect human health economies of developing countries. In this work, we formulate analyze deterministic continuous time Markov chain (CTMC) stochastic models to determine parameters drive the likelihood their extinction. The basic reproduction number $$R_0$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/M...

Component importance analysis is to measure the effect on system reliability of component reliabilities, and is used to the system design from the reliability point of view. On the other hand, to guarantee high reliability of real-time computing systems, redundancy has been widely applied, which plays an important role in enhancing system reliability. One of commonly used type of redundancy is ...

CSLTA is a stochastic temporal logic for continuous-time Markov chains (CTMC), that can verify the probability of following paths specified by a Deterministic Timed Automaton (DTA). A DTA expresses both logic and time constraints over a CTMC path, yielding to a very flexible way of describing performance and dependability properties. This paper explores a model checking algorithm for CSLTA base...

Traditional performance analysis methods are often based on discrete state continuous time Markov chains (CTMC). One of the main reasons of this choice is the relative simplicity of the analysis of CTMCs. Discrete state models are applicable when the considered system behavior can be represented with a finite or countable set. More recently performance models with hybrid (discrete and continuou...

The concurrent composition of Markov chains quickly leads to the notorious problem of state space explosion, also known as the largeness problem, as the number of involved Markov chains increases. In the context of Markovian Process Algebras (MPAs) this problem is of particular interest, since small and compact model descriptions in form of language terms provided by the MPA may possess huge un...

The lack of large video databases obtained from real patients with respiratory disorders makes the design and optimization of video-based monitoring systems quite critical. The purpose of this study is the development of suitable models and simulators of breathing behaviors and disorders, such as respiratory pauses and apneas, in order to allow efficient design and test of video-based monitorin...

In this report we present an extension to Continuous Time Bayesian Networks (CTBN) called Generalized Continuous Time Bayesian Networks (GCTBN). The formalism allows one to model, in addition to continuous time delayed variables (with exponentially distributed transition rates), also non delayed or “immediate” variables, which act as standard chance nodes in a Bayesian Network. This allows the ...

This paper presents parallel approaches to the complete tran sient numerical analysis of stochastic reward nets SRNs for both shared and distributed memory machines Parallelization concepts and imple mentation issues are discussed for the three main analysis steps that are generation of the underlying continuous time Markov chain CTMC solving the CTMC numerically for the desired time points and...

Combinatorial models for reliability analysis (like fault-trees or block diagram) are static models that cannot include any type of component dependence. In the CTMC (Continuous Time Markov Chain) framework, the transition rates can depend on the state of the system thus allowing the analyst to include some dependencies among components. However, in more general terms, the system reliability ma...

In Electronic Support, receivers must maintain surveillance over the very wide portion of the electromagnetic spectrum in which threat emitters operate. A common approach is to use a receiver with a relatively narrow bandwidth which sweeps its centre frequency over the threat bandwidth to search for emitters. The sequence and timing of changes in the centre frequency constitute a search strateg...