9051 search results - page 31 / 1811 » On detectability of stochastic systems |
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
163
click to vote
WSC
2004
15 years 7 months ago
2004
We consider single-stage, single-product Make-to-Stock systems with random demand and random service (production) rate, where demand shortages at the inventory facility are backor...
152
click to vote
ANSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
151
click to vote
QEST
2006
IEEE
16 years 21 hour ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
156
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...