5 search results - page 1 / 1 » Classes of stochastically switched (blinking) systems |
ISCAS
2007
IEEE
14 years 5 months ago
2007
IEEE
—It is investigated to what extent the trajectories of a stochastically switched (blinking) system follow the corresponding trajectories of the averaged system. Four cases have t...
AUTOMATICA
2005
13 years 10 months ago
2005
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...
QUESTA
2010
13 years 9 months ago
2010
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...
INFOCOM
2010
IEEE
13 years 9 months ago
2010
IEEE
—It is well known that max-weight policies based on a queue backlog index can be used to stabilize stochastic networks, and that similar stability results hold if a delay index i...
IFM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...