149 search results - page 21 / 30 » On Statistical Model Checking of Stochastic Systems |
SAFECOMP
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
HVC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
104
click to vote
JSSPP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Grids reliability remains an order of magnitude below clusters on production infrastructures. This work is aimsed at improving grid application performances by improving ...
SAB
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
AUTOMATICA
2010
14 years 9 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...