Sciweavers

188 search results - page 11 / 38
» A probabilistic analysis of diagnosability in discrete event...
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...
WSC
2007
13 years 10 months ago
An approach to hospital planning and design using discrete event simulation
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
Ian W. Gibson
WSC
2004
13 years 9 months ago
Statistical Analyses for Simulating Schedule Networks
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
Dong-Eun Lee, Jonathan Jingsheng Shi
JAR
2008
88views more  JAR 2008»
13 years 7 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
OSDI
2008
ACM
14 years 8 months ago
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
Production systems are commonly plagued by intermittent problems that are difficult to diagnose. This paper describes a new diagnostic tool, called Chopstix, that continuously col...
Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, ...