Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172279531> ?p ?o ?g. }
- W2172279531 abstract "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 an exponential distribution. MAs are thus a nondeterministic variation of continuous-time Markov chains. MAs are compositional and are used to provide a semantics for engineering frameworks such as (dynamic) fault trees, (generalised) stochastic Petri nets, and the Architecture Analysis & Design Language (AADL). This paper considers the quantitative analysis of MAs. We consider three objectives: expected time, long-run average, and timed (interval) reachability. Expected time objectives focus on determining the minimal (or maximal) expected time to reach a set of states. Long-run objectives determine the fraction of time to be in a set of states when considering an infinite time horizon. Timed reachability objectives are about computing the probability to reach a set of states within a given time interval. This paper presents the foundations and details of the algorithms and their correctness proofs. We report on several case studies conducted using a prototypical tool implementation of the algorithms, driven by the MAPA modelling language for efficiently generating MAs." @default.
- W2172279531 created "2016-06-24" @default.
- W2172279531 creator A5028747794 @default.
- W2172279531 creator A5066736648 @default.
- W2172279531 creator A5080606370 @default.
- W2172279531 creator A5084827667 @default.
- W2172279531 creator A5085049248 @default.
- W2172279531 date "2014-09-10" @default.
- W2172279531 modified "2023-09-23" @default.
- W2172279531 title "Analysis of Timed and Long-Run Objectives for Markov Automata" @default.
- W2172279531 cites W1504080271 @default.
- W2172279531 cites W1507380329 @default.
- W2172279531 cites W1510075073 @default.
- W2172279531 cites W1520708882 @default.
- W2172279531 cites W1548777301 @default.
- W2172279531 cites W1580405793 @default.
- W2172279531 cites W1597655219 @default.
- W2172279531 cites W1621538476 @default.
- W2172279531 cites W1850900101 @default.
- W2172279531 cites W1874444266 @default.
- W2172279531 cites W1986755980 @default.
- W2172279531 cites W2018187447 @default.
- W2172279531 cites W2020293036 @default.
- W2172279531 cites W2025063471 @default.
- W2172279531 cites W2068791347 @default.
- W2172279531 cites W2070874614 @default.
- W2172279531 cites W2079636926 @default.
- W2172279531 cites W2081287319 @default.
- W2172279531 cites W2110411539 @default.
- W2172279531 cites W2111987809 @default.
- W2172279531 cites W2112500557 @default.
- W2172279531 cites W2115054228 @default.
- W2172279531 cites W2117429544 @default.
- W2172279531 cites W2121431238 @default.
- W2172279531 cites W2123022028 @default.
- W2172279531 cites W2130498896 @default.
- W2172279531 cites W2141881497 @default.
- W2172279531 cites W2148167082 @default.
- W2172279531 cites W2149336039 @default.
- W2172279531 cites W2154717363 @default.
- W2172279531 cites W2163234015 @default.
- W2172279531 cites W2168234479 @default.
- W2172279531 cites W2294647483 @default.
- W2172279531 cites W2334782222 @default.
- W2172279531 cites W2491539874 @default.
- W2172279531 cites W2886283801 @default.
- W2172279531 cites W2922092330 @default.
- W2172279531 cites W2950783834 @default.
- W2172279531 cites W78405526 @default.
- W2172279531 doi "https://doi.org/10.2168/lmcs-10(3:17)2014" @default.
- W2172279531 hasPublicationYear "2014" @default.
- W2172279531 type Work @default.
- W2172279531 sameAs 2172279531 @default.
- W2172279531 citedByCount "22" @default.
- W2172279531 countsByYear W21722795312015 @default.
- W2172279531 countsByYear W21722795312016 @default.
- W2172279531 countsByYear W21722795312017 @default.
- W2172279531 countsByYear W21722795312018 @default.
- W2172279531 countsByYear W21722795312019 @default.
- W2172279531 countsByYear W21722795312020 @default.
- W2172279531 countsByYear W21722795312021 @default.
- W2172279531 countsByYear W21722795312022 @default.
- W2172279531 crossrefType "journal-article" @default.
- W2172279531 hasAuthorship W2172279531A5028747794 @default.
- W2172279531 hasAuthorship W2172279531A5066736648 @default.
- W2172279531 hasAuthorship W2172279531A5080606370 @default.
- W2172279531 hasAuthorship W2172279531A5084827667 @default.
- W2172279531 hasAuthorship W2172279531A5085049248 @default.
- W2172279531 hasBestOaLocation W21722795311 @default.
- W2172279531 hasConcept C110251889 @default.
- W2172279531 hasConcept C112505250 @default.
- W2172279531 hasConcept C11413529 @default.
- W2172279531 hasConcept C119857082 @default.
- W2172279531 hasConcept C136643341 @default.
- W2172279531 hasConcept C154945302 @default.
- W2172279531 hasConcept C176181172 @default.
- W2172279531 hasConcept C197551870 @default.
- W2172279531 hasConcept C38677869 @default.
- W2172279531 hasConcept C41008148 @default.
- W2172279531 hasConcept C49937458 @default.
- W2172279531 hasConcept C55439883 @default.
- W2172279531 hasConcept C80444323 @default.
- W2172279531 hasConcept C98763669 @default.
- W2172279531 hasConceptScore W2172279531C110251889 @default.
- W2172279531 hasConceptScore W2172279531C112505250 @default.
- W2172279531 hasConceptScore W2172279531C11413529 @default.
- W2172279531 hasConceptScore W2172279531C119857082 @default.
- W2172279531 hasConceptScore W2172279531C136643341 @default.
- W2172279531 hasConceptScore W2172279531C154945302 @default.
- W2172279531 hasConceptScore W2172279531C176181172 @default.
- W2172279531 hasConceptScore W2172279531C197551870 @default.
- W2172279531 hasConceptScore W2172279531C38677869 @default.
- W2172279531 hasConceptScore W2172279531C41008148 @default.
- W2172279531 hasConceptScore W2172279531C49937458 @default.
- W2172279531 hasConceptScore W2172279531C55439883 @default.
- W2172279531 hasConceptScore W2172279531C80444323 @default.
- W2172279531 hasConceptScore W2172279531C98763669 @default.
- W2172279531 hasFunder F4320321800 @default.
- W2172279531 hasLocation W21722795311 @default.
- W2172279531 hasLocation W21722795312 @default.