Sciweavers

534 search results - page 6 / 107
» Sensitivity Analysis of Markovian Models
Sort
View
TR
2011
172views more  TR 2011»
13 years 2 months ago
Multi-State Reliability Systems Under Discrete Time Semi-Markovian Hypothesis
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
Ourania Chryssaphinou, Nikolaos Limnios, Sonia Mal...
EMISA
2002
Springer
13 years 7 months ago
A new reduction method for the analysis of large workflow models
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
Loucif Zerguini, Kees M. van Hee
ISER
2004
Springer
117views Robotics» more  ISER 2004»
14 years 1 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
AUTOMATICA
2008
88views more  AUTOMATICA 2008»
13 years 7 months ago
Parameter ranking by orthogonalization - Applied to nonlinear mechanistic models
The paper addresses methods for parameter sensitivity analysis in a large, nonlinear, mechanistic model which is to be run in an online estimation scheme. The parameter sensitivit...
Berit Floor Lund, Bjarne A. Foss
CC
2008
Springer
172views System Software» more  CC 2008»
13 years 9 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...