59 search results - page 4 / 12 » Approximate abstractions of discrete-time controlled stochas... |
CORR
2010
Springer
13 years 8 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 ...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...