Sciweavers

Share
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
8 years 10 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...
EUC
2006
Springer
8 years 10 months ago
Prediction Efficiency in Predictive p-CSMA/CD
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...
Marek Miskowicz
DSN
2004
IEEE
8 years 11 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
APPROX
2006
Springer
130views Algorithms» more  APPROX 2006»
8 years 11 months ago
Robust Mixing
In this paper, we develop a new "robust mixing" framework for reasoning about adversarially modified Markov Chains (AMMC). Let P be the transition matrix of an irreducib...
Murali K. Ganapathy
APNOMS
2006
Springer
8 years 11 months ago
Performance Analysis of Service Differentiation for IEEE 802.15.4 Slotted CSMA/CA
In this paper, we propose two mechanisms, differentiation by backoff exponent and differentiation by the size of contention window, for IEEE 802.15.4 sensor networks to provide mul...
Meejoung Kim
ANSS
2004
IEEE
8 years 11 months ago
Markov Model Based Congestion Control for TCP
The Random Early Detection (RED) scheme for congestion control in TCP is well known over a decade. Due to a number of control parameters in RED, it cannot make acceptable packet-d...
Shan Suthaharan
WCNC
2010
IEEE
8 years 11 months ago
Modeling IEEE 802.11 DCF System Dynamics
—Experiments show that IEEE 802.11 DCF system exhibits unstable behavior in the congestion onset load range where the system starts to become saturated. This phenomenon is not we...
Zhenzhen Cao, Ren Ping Liu, Xun Yang, Yang Xiao
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
8 years 11 months ago
Input design using Markov chains for system identification
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
Chiara Brighenti, Bo Wahlberg, Cristian R. Rojas
FOCS
2000
IEEE
8 years 11 months ago
The Randomness Recycler: A New Technique for Perfect Sampling
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
James Allen Fill, Mark Huber
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
8 years 12 months ago
A simulation-based method for aggregating Markov chains
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
Kun Deng, Prashant G. Mehta, Sean P. Meyn
books