Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145654574> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2145654574 abstract "We introduce quantatitive timed refinement metrics and quantitative timed simulation functions, incorporating zenoness checks, for timed systems. These functions assign positive real numbers between zero and infinity which quantify the timing mismatches between two timed systems, amongst non-zeno runs. We quantify timing mismatches in three ways: (1) the maximum timing mismatch that can arise, (2) the steady-state maximum timing mismatches, where initial transient timing mismatches are ignored; and (3) the (long-run) average timing mismatches amongst two systems. These three kinds of mismatches constitute three important types of timing differences. Our event times are the global times, measured from the start of the system execution, not just the time durations of individual steps. We present algorithms over timed automata for computing the three quantitative simulation functions to within any desired degree of accuracy. In order to compute the values of the quantitative simulation functions, we use a game theoretic formulation. We introduce two new kinds of objectives for two player games on finite state game graphs: (1) eventual debit-sum level objectives, and (2) average debit-sum level objectives. We present algorithms for computing the optimal values for these objectives for player 1, and then use these algorithms to compute the values of the quantitative timed simulation functions." @default.
- W2145654574 created "2016-06-24" @default.
- W2145654574 creator A5019108795 @default.
- W2145654574 creator A5052607806 @default.
- W2145654574 date "2013-04-08" @default.
- W2145654574 modified "2023-09-27" @default.
- W2145654574 title "Quantitative timed simulation functions and refinement metrics for real-time systems" @default.
- W2145654574 cites W1521551618 @default.
- W2145654574 cites W1586805319 @default.
- W2145654574 cites W1590943005 @default.
- W2145654574 cites W2015172530 @default.
- W2145654574 cites W2019411264 @default.
- W2145654574 cites W2090847457 @default.
- W2145654574 cites W2101508170 @default.
- W2145654574 cites W2157202548 @default.
- W2145654574 cites W2170933628 @default.
- W2145654574 cites W2962899708 @default.
- W2145654574 cites W4293092461 @default.
- W2145654574 doi "https://doi.org/10.1145/2461328.2461370" @default.
- W2145654574 hasPublicationYear "2013" @default.
- W2145654574 type Work @default.
- W2145654574 sameAs 2145654574 @default.
- W2145654574 citedByCount "3" @default.
- W2145654574 countsByYear W21456545742014 @default.
- W2145654574 countsByYear W21456545742015 @default.
- W2145654574 countsByYear W21456545742016 @default.
- W2145654574 crossrefType "proceedings-article" @default.
- W2145654574 hasAuthorship W2145654574A5019108795 @default.
- W2145654574 hasAuthorship W2145654574A5052607806 @default.
- W2145654574 hasConcept C111919701 @default.
- W2145654574 hasConcept C112505250 @default.
- W2145654574 hasConcept C11413529 @default.
- W2145654574 hasConcept C149635348 @default.
- W2145654574 hasConcept C2780799671 @default.
- W2145654574 hasConcept C41008148 @default.
- W2145654574 hasConcept C48103436 @default.
- W2145654574 hasConcept C79403827 @default.
- W2145654574 hasConcept C80444323 @default.
- W2145654574 hasConcept C93682380 @default.
- W2145654574 hasConceptScore W2145654574C111919701 @default.
- W2145654574 hasConceptScore W2145654574C112505250 @default.
- W2145654574 hasConceptScore W2145654574C11413529 @default.
- W2145654574 hasConceptScore W2145654574C149635348 @default.
- W2145654574 hasConceptScore W2145654574C2780799671 @default.
- W2145654574 hasConceptScore W2145654574C41008148 @default.
- W2145654574 hasConceptScore W2145654574C48103436 @default.
- W2145654574 hasConceptScore W2145654574C79403827 @default.
- W2145654574 hasConceptScore W2145654574C80444323 @default.
- W2145654574 hasConceptScore W2145654574C93682380 @default.
- W2145654574 hasLocation W21456545741 @default.
- W2145654574 hasOpenAccess W2145654574 @default.
- W2145654574 hasPrimaryLocation W21456545741 @default.
- W2145654574 hasRelatedWork W153904579 @default.
- W2145654574 hasRelatedWork W2330733397 @default.
- W2145654574 hasRelatedWork W2351491280 @default.
- W2145654574 hasRelatedWork W2368796975 @default.
- W2145654574 hasRelatedWork W2373115073 @default.
- W2145654574 hasRelatedWork W2386767533 @default.
- W2145654574 hasRelatedWork W303980170 @default.
- W2145654574 hasRelatedWork W3087756144 @default.
- W2145654574 hasRelatedWork W2602338684 @default.
- W2145654574 hasRelatedWork W2751931981 @default.
- W2145654574 isParatext "false" @default.
- W2145654574 isRetracted "false" @default.
- W2145654574 magId "2145654574" @default.
- W2145654574 workType "article" @default.