Zobrazeno 1 - 10
of 357
pro vyhledávání: '"Markov automata"'
Markov automata combine non-determinism, probabilistic branching, and exponentially distributed delays. This compositional variant of continuous-time Markov decision processes is used in reliability engineering, performance evaluation and stochastic
Externí odkaz:
http://arxiv.org/abs/1704.06648
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Aldini, Alessandro, Bernardo, Marco
Publikováno v:
EPTCS 194, 2015, pp. 1-15
A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resul
Externí odkaz:
http://arxiv.org/abs/1509.08559
Publikováno v:
In Information and Computation October 2018 262 Part 1:162-186
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Braitling, Bettina, Fioriti, Luis María Ferrer, Hatefi, Hassan, Wimmer, Ralf, Becker, Bernd, Hermanns, Holger
Publikováno v:
EPTCS 154, 2014, pp. 48-63
Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and diffi
Externí odkaz:
http://arxiv.org/abs/1406.2068
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 3 (September 10, 2014) lmcs:943
Markov automata (MAs) extend labelled transition systems with random delays and probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution over states, whereas timed transitions impose a random delay governed by a
Externí odkaz:
http://arxiv.org/abs/1407.7356
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automata. This paper studies a strictly coarser notion: Late weak bisimilarit
Externí odkaz:
http://arxiv.org/abs/1202.4116
Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive
Externí odkaz:
http://arxiv.org/abs/1305.7050