Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954052712> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2954052712 abstract "Timed automata (TA) are widely used to model and verify real-time systems. In a TA, the real valued variables, called clocks, measure the time passed between events. The verification of TA is exponential in the number of clocks. That constitutes a bottleneck for its application in large systems. To address this issue, we propose a novel clock reduction method. We aim at reducing the number of clocks by developing a position (location and transition) based mapping for clocks. Motivated by that the locations and transitions of the automaton reflect the modeled system's physical properties and design parameters; the proposed method changes the clock constraints based on their positions to reduce the total number of clocks. To guarantee correctness, we prove that the resulting automaton is timed bisimilar to the original one. Finally, we present empirical results for the solution, which show that the proposed method significantly reduces the clock count without changing design parameters of the system." @default.
- W2954052712 created "2019-07-12" @default.
- W2954052712 creator A5029149821 @default.
- W2954052712 creator A5071670707 @default.
- W2954052712 date "2019-05-01" @default.
- W2954052712 modified "2023-09-27" @default.
- W2954052712 title "Clock Reduction in Timed Automata While Preserving Design Parameters" @default.
- W2954052712 cites W1224547023 @default.
- W2954052712 cites W1507039213 @default.
- W2954052712 cites W1514648647 @default.
- W2954052712 cites W1552249698 @default.
- W2954052712 cites W1568100006 @default.
- W2954052712 cites W2101508170 @default.
- W2954052712 cites W2102380292 @default.
- W2954052712 cites W2109527175 @default.
- W2954052712 cites W2122113444 @default.
- W2954052712 cites W2125617568 @default.
- W2954052712 cites W2141826787 @default.
- W2954052712 cites W2150220388 @default.
- W2954052712 cites W2156016854 @default.
- W2954052712 cites W2159433799 @default.
- W2954052712 cites W2187041056 @default.
- W2954052712 cites W2795457160 @default.
- W2954052712 cites W2911583164 @default.
- W2954052712 cites W325265439 @default.
- W2954052712 doi "https://doi.org/10.1109/formalise.2019.00010" @default.
- W2954052712 hasPublicationYear "2019" @default.
- W2954052712 type Work @default.
- W2954052712 sameAs 2954052712 @default.
- W2954052712 citedByCount "2" @default.
- W2954052712 countsByYear W29540527122019 @default.
- W2954052712 countsByYear W29540527122021 @default.
- W2954052712 crossrefType "proceedings-article" @default.
- W2954052712 hasAuthorship W2954052712A5029149821 @default.
- W2954052712 hasAuthorship W2954052712A5071670707 @default.
- W2954052712 hasConcept C111335779 @default.
- W2954052712 hasConcept C112505250 @default.
- W2954052712 hasConcept C11413529 @default.
- W2954052712 hasConcept C127162648 @default.
- W2954052712 hasConcept C129891060 @default.
- W2954052712 hasConcept C149635348 @default.
- W2954052712 hasConcept C2524010 @default.
- W2954052712 hasConcept C2778562939 @default.
- W2954052712 hasConcept C2780513914 @default.
- W2954052712 hasConcept C30788636 @default.
- W2954052712 hasConcept C31258907 @default.
- W2954052712 hasConcept C33923547 @default.
- W2954052712 hasConcept C41008148 @default.
- W2954052712 hasConcept C52563298 @default.
- W2954052712 hasConcept C55439883 @default.
- W2954052712 hasConcept C79403827 @default.
- W2954052712 hasConcept C80444323 @default.
- W2954052712 hasConceptScore W2954052712C111335779 @default.
- W2954052712 hasConceptScore W2954052712C112505250 @default.
- W2954052712 hasConceptScore W2954052712C11413529 @default.
- W2954052712 hasConceptScore W2954052712C127162648 @default.
- W2954052712 hasConceptScore W2954052712C129891060 @default.
- W2954052712 hasConceptScore W2954052712C149635348 @default.
- W2954052712 hasConceptScore W2954052712C2524010 @default.
- W2954052712 hasConceptScore W2954052712C2778562939 @default.
- W2954052712 hasConceptScore W2954052712C2780513914 @default.
- W2954052712 hasConceptScore W2954052712C30788636 @default.
- W2954052712 hasConceptScore W2954052712C31258907 @default.
- W2954052712 hasConceptScore W2954052712C33923547 @default.
- W2954052712 hasConceptScore W2954052712C41008148 @default.
- W2954052712 hasConceptScore W2954052712C52563298 @default.
- W2954052712 hasConceptScore W2954052712C55439883 @default.
- W2954052712 hasConceptScore W2954052712C79403827 @default.
- W2954052712 hasConceptScore W2954052712C80444323 @default.
- W2954052712 hasLocation W29540527121 @default.
- W2954052712 hasOpenAccess W2954052712 @default.
- W2954052712 hasPrimaryLocation W29540527121 @default.
- W2954052712 hasRelatedWork W123705264 @default.
- W2954052712 hasRelatedWork W1485850862 @default.
- W2954052712 hasRelatedWork W1500871829 @default.
- W2954052712 hasRelatedWork W1517942155 @default.
- W2954052712 hasRelatedWork W1886894358 @default.
- W2954052712 hasRelatedWork W2035000455 @default.
- W2954052712 hasRelatedWork W2153789164 @default.
- W2954052712 hasRelatedWork W2158100094 @default.
- W2954052712 hasRelatedWork W2242084152 @default.
- W2954052712 hasRelatedWork W2251374851 @default.
- W2954052712 hasRelatedWork W2360729538 @default.
- W2954052712 hasRelatedWork W2390271751 @default.
- W2954052712 hasRelatedWork W2559244825 @default.
- W2954052712 hasRelatedWork W2569130014 @default.
- W2954052712 hasRelatedWork W2607489572 @default.
- W2954052712 hasRelatedWork W2735463046 @default.
- W2954052712 hasRelatedWork W2950940436 @default.
- W2954052712 hasRelatedWork W3104229711 @default.
- W2954052712 hasRelatedWork W3198539008 @default.
- W2954052712 hasRelatedWork W3212135900 @default.
- W2954052712 isParatext "false" @default.
- W2954052712 isRetracted "false" @default.
- W2954052712 magId "2954052712" @default.
- W2954052712 workType "article" @default.