9051 search results - page 38 / 1811 » On detectability of stochastic systems |
156
click to vote
JCP
2008
15 years 6 months ago
2008
In the present paper, by applying the theory of stochastic processes and interacting particle systems and models, including stopping time theory and stochastic voter model, we mode...
168
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
142
click to vote
MASCOTS
2004
15 years 7 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
155
click to vote
RTAS
2007
IEEE
16 years 13 days ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
187
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...