31 search results - page 4 / 7 » Bisimulation for General Stochastic Hybrid Systems |
88
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
125
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
CPAIOR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
A primary goal of evolutionary robotics is to create systems that are as robust and adaptive as the human body. Moving toward this goal often involves training control systems tha...