Matches in SemOpenAlex for { <https://semopenalex.org/work/W1492507105> ?p ?o ?g. }
- W1492507105 endingPage "161" @default.
- W1492507105 startingPage "154" @default.
- W1492507105 abstract "The notions of priced timed automata (PTA) and energy games (EG) provide useful modeling formalisms for energy-aware and energy-harvesting embedded systems. We review these formalisms and a range of associated decision problems covering cost-optimal reachability, model-checking and cost-bounded infinite strategies. Decidability of several of these problems require tight bounds on the number of clocks and cost variables. Thus, we turn to statistical model checking (SMC), which has emerged as a highly scalable simulation-based “approximate” validation technique. In a series of recent work we have developed a natural stochastic semantics for PTAs allowing for statistical model checking to be performed. The resulting techniques have been implemented in Uppaal-smc, and applied to the performance analysis of a number of systems ranging from real-time scheduling, mixed criticality systems, sensor networks, energy aware systems and systems biology." @default.
- W1492507105 created "2016-06-24" @default.
- W1492507105 creator A5069362159 @default.
- W1492507105 date "2013-01-01" @default.
- W1492507105 modified "2023-09-25" @default.
- W1492507105 title "Priced Timed Automata and Statistical Model Checking" @default.
- W1492507105 cites W1479997758 @default.
- W1492507105 cites W1483079125 @default.
- W1492507105 cites W1485651722 @default.
- W1492507105 cites W1489725951 @default.
- W1492507105 cites W1529559025 @default.
- W1492507105 cites W1560643704 @default.
- W1492507105 cites W156519366 @default.
- W1492507105 cites W1569998753 @default.
- W1492507105 cites W1573865009 @default.
- W1492507105 cites W1587691136 @default.
- W1492507105 cites W1631091010 @default.
- W1492507105 cites W16323886 @default.
- W1492507105 cites W1650440775 @default.
- W1492507105 cites W1730082949 @default.
- W1492507105 cites W1761383617 @default.
- W1492507105 cites W1819818805 @default.
- W1492507105 cites W1823282488 @default.
- W1492507105 cites W1874996599 @default.
- W1492507105 cites W1956986296 @default.
- W1492507105 cites W1962072139 @default.
- W1492507105 cites W1984327901 @default.
- W1492507105 cites W1987734880 @default.
- W1492507105 cites W2000947342 @default.
- W1492507105 cites W2029795923 @default.
- W1492507105 cites W2056957549 @default.
- W1492507105 cites W2065323166 @default.
- W1492507105 cites W2066032119 @default.
- W1492507105 cites W2069081759 @default.
- W1492507105 cites W2101508170 @default.
- W1492507105 cites W2116930279 @default.
- W1492507105 cites W2118017610 @default.
- W1492507105 cites W2130136014 @default.
- W1492507105 cites W2130664212 @default.
- W1492507105 cites W2140595448 @default.
- W1492507105 cites W2142718416 @default.
- W1492507105 cites W2163626018 @default.
- W1492507105 cites W2169946898 @default.
- W1492507105 cites W2410243683 @default.
- W1492507105 cites W2620748922 @default.
- W1492507105 cites W2951811830 @default.
- W1492507105 cites W296769721 @default.
- W1492507105 cites W59365162 @default.
- W1492507105 doi "https://doi.org/10.1007/978-3-642-38613-8_11" @default.
- W1492507105 hasPublicationYear "2013" @default.
- W1492507105 type Work @default.
- W1492507105 sameAs 1492507105 @default.
- W1492507105 citedByCount "10" @default.
- W1492507105 countsByYear W14925071052014 @default.
- W1492507105 countsByYear W14925071052015 @default.
- W1492507105 countsByYear W14925071052016 @default.
- W1492507105 countsByYear W14925071052018 @default.
- W1492507105 countsByYear W14925071052019 @default.
- W1492507105 countsByYear W14925071052020 @default.
- W1492507105 countsByYear W14925071052023 @default.
- W1492507105 crossrefType "book-chapter" @default.
- W1492507105 hasAuthorship W1492507105A5069362159 @default.
- W1492507105 hasConcept C110251889 @default.
- W1492507105 hasConcept C112505250 @default.
- W1492507105 hasConcept C115051666 @default.
- W1492507105 hasConcept C134306372 @default.
- W1492507105 hasConcept C136643341 @default.
- W1492507105 hasConcept C153269930 @default.
- W1492507105 hasConcept C171018156 @default.
- W1492507105 hasConcept C2524010 @default.
- W1492507105 hasConcept C33923547 @default.
- W1492507105 hasConcept C34388435 @default.
- W1492507105 hasConcept C41008148 @default.
- W1492507105 hasConcept C48044578 @default.
- W1492507105 hasConcept C76155785 @default.
- W1492507105 hasConcept C77088390 @default.
- W1492507105 hasConcept C80444323 @default.
- W1492507105 hasConceptScore W1492507105C110251889 @default.
- W1492507105 hasConceptScore W1492507105C112505250 @default.
- W1492507105 hasConceptScore W1492507105C115051666 @default.
- W1492507105 hasConceptScore W1492507105C134306372 @default.
- W1492507105 hasConceptScore W1492507105C136643341 @default.
- W1492507105 hasConceptScore W1492507105C153269930 @default.
- W1492507105 hasConceptScore W1492507105C171018156 @default.
- W1492507105 hasConceptScore W1492507105C2524010 @default.
- W1492507105 hasConceptScore W1492507105C33923547 @default.
- W1492507105 hasConceptScore W1492507105C34388435 @default.
- W1492507105 hasConceptScore W1492507105C41008148 @default.
- W1492507105 hasConceptScore W1492507105C48044578 @default.
- W1492507105 hasConceptScore W1492507105C76155785 @default.
- W1492507105 hasConceptScore W1492507105C77088390 @default.
- W1492507105 hasConceptScore W1492507105C80444323 @default.
- W1492507105 hasLocation W14925071051 @default.
- W1492507105 hasOpenAccess W1492507105 @default.
- W1492507105 hasPrimaryLocation W14925071051 @default.
- W1492507105 hasRelatedWork W142519030 @default.
- W1492507105 hasRelatedWork W1518439360 @default.
- W1492507105 hasRelatedWork W1518566078 @default.