2711 search results - page 3 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
ICINCO
2004
13 years 6 months ago
2004
: We introduce a class of quasi-linear models for stochastic dynamics, called moment-linear stochastic systems (MLSS). We formulate MLSS and analyze their dynamics, as well as disc...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
INFOCOM
2003
IEEE
13 years 10 months ago
2003
IEEE
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 3 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...