132 search results - page 17 / 27 » Polynomial Stochastic Hybrid Systems |
HYBRID
2001
Springer
14 years 1 days ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
SCIA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...