Sciweavers

13 search results - page 2 / 3
» Safety Analysis of Sugar Cataract Development Using Stochast...
Sort
View
WSC
2004
13 years 6 months ago
Airport Terminal-Approach Safety and Capacity Analysis Using an Agent-Based Model
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
Yue Xie, John Shortle, George Donohue
HYBRID
1998
Springer
13 years 9 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
HYBRID
2004
Springer
13 years 10 months ago
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems
The genetic network regulating the biosynthesis of subtilin in Bacillus subtilis is modeled as a stochastic hybrid system. The continuous state of the hybrid system is the concentr...
Jianghai Hu, Wei Chung Wu, Shankar Sastry
SIAMCO
2008
113views more  SIAMCO 2008»
13 years 5 months ago
Singularly Perturbed Piecewise Deterministic Games
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
Alain Haurie, Francesco Moresino
BMCBI
2006
179views more  BMCBI 2006»
13 years 5 months ago
Multiscale Hy3S: Hybrid stochastic simulation for supercomputers
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
Howard Salis, Vassilios Sotiropoulos, Yiannis N. K...