Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105859895> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2105859895 endingPage "446" @default.
- W2105859895 startingPage "431" @default.
- W2105859895 abstract "The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored control states and the number of generated time zones. The approach is based on a local-time semantics for networks of timed automata defined by Bengtsson et al. [1998], and used originally for local reachability analysis. In this semantics, each component automaton executes asynchronously, in its own local time scale, which is tracked by an auxiliary reference clock. On communication transitions, the automata synchronize their time scales. We show how this model can be used to perform model checking for an extension of linear temporal logic, which can express timing relations between events. We also show how for a class of timed automata, the local-time model can be implemented using difference bound matrices without any space penalty, despite the need to represent local time. Furthermore, we analyze the dependence relation between transitions in the new model and give practical conditions for selecting a reduced set of transitions." @default.
- W2105859895 created "2016-06-24" @default.
- W2105859895 creator A5014069349 @default.
- W2105859895 date "1999-01-01" @default.
- W2105859895 modified "2023-09-23" @default.
- W2105859895 title "Partial Order Reduction for Model Checking of Timed Automata" @default.
- W2105859895 cites W1528441743 @default.
- W2105859895 cites W1540501475 @default.
- W2105859895 cites W1560730347 @default.
- W2105859895 cites W1598081036 @default.
- W2105859895 cites W1793691888 @default.
- W2105859895 cites W1861370427 @default.
- W2105859895 cites W2079420020 @default.
- W2105859895 cites W2093681800 @default.
- W2105859895 cites W2118802216 @default.
- W2105859895 cites W2167668895 @default.
- W2105859895 cites W4246017475 @default.
- W2105859895 cites W5574567 @default.
- W2105859895 cites W59365162 @default.
- W2105859895 doi "https://doi.org/10.1007/3-540-48320-9_30" @default.
- W2105859895 hasPublicationYear "1999" @default.
- W2105859895 type Work @default.
- W2105859895 sameAs 2105859895 @default.
- W2105859895 citedByCount "41" @default.
- W2105859895 countsByYear W21058598952012 @default.
- W2105859895 countsByYear W21058598952013 @default.
- W2105859895 countsByYear W21058598952014 @default.
- W2105859895 countsByYear W21058598952015 @default.
- W2105859895 countsByYear W21058598952016 @default.
- W2105859895 countsByYear W21058598952017 @default.
- W2105859895 countsByYear W21058598952018 @default.
- W2105859895 countsByYear W21058598952020 @default.
- W2105859895 countsByYear W21058598952021 @default.
- W2105859895 countsByYear W21058598952022 @default.
- W2105859895 crossrefType "book-chapter" @default.
- W2105859895 hasAuthorship W2105859895A5014069349 @default.
- W2105859895 hasConcept C110251889 @default.
- W2105859895 hasConcept C111335779 @default.
- W2105859895 hasConcept C112505250 @default.
- W2105859895 hasConcept C11413529 @default.
- W2105859895 hasConcept C136643341 @default.
- W2105859895 hasConcept C177264268 @default.
- W2105859895 hasConcept C184337299 @default.
- W2105859895 hasConcept C199360897 @default.
- W2105859895 hasConcept C2524010 @default.
- W2105859895 hasConcept C2777669093 @default.
- W2105859895 hasConcept C30788636 @default.
- W2105859895 hasConcept C33923547 @default.
- W2105859895 hasConcept C41008148 @default.
- W2105859895 hasConcept C80444323 @default.
- W2105859895 hasConcept C94633896 @default.
- W2105859895 hasConceptScore W2105859895C110251889 @default.
- W2105859895 hasConceptScore W2105859895C111335779 @default.
- W2105859895 hasConceptScore W2105859895C112505250 @default.
- W2105859895 hasConceptScore W2105859895C11413529 @default.
- W2105859895 hasConceptScore W2105859895C136643341 @default.
- W2105859895 hasConceptScore W2105859895C177264268 @default.
- W2105859895 hasConceptScore W2105859895C184337299 @default.
- W2105859895 hasConceptScore W2105859895C199360897 @default.
- W2105859895 hasConceptScore W2105859895C2524010 @default.
- W2105859895 hasConceptScore W2105859895C2777669093 @default.
- W2105859895 hasConceptScore W2105859895C30788636 @default.
- W2105859895 hasConceptScore W2105859895C33923547 @default.
- W2105859895 hasConceptScore W2105859895C41008148 @default.
- W2105859895 hasConceptScore W2105859895C80444323 @default.
- W2105859895 hasConceptScore W2105859895C94633896 @default.
- W2105859895 hasLocation W21058598951 @default.
- W2105859895 hasOpenAccess W2105859895 @default.
- W2105859895 hasPrimaryLocation W21058598951 @default.
- W2105859895 hasRelatedWork W1560508321 @default.
- W2105859895 hasRelatedWork W2021255060 @default.
- W2105859895 hasRelatedWork W2040791800 @default.
- W2105859895 hasRelatedWork W2121789641 @default.
- W2105859895 hasRelatedWork W2139989305 @default.
- W2105859895 hasRelatedWork W2368796975 @default.
- W2105859895 hasRelatedWork W3023596811 @default.
- W2105859895 hasRelatedWork W3092162653 @default.
- W2105859895 hasRelatedWork W2353166013 @default.
- W2105859895 hasRelatedWork W2584551737 @default.
- W2105859895 isParatext "false" @default.
- W2105859895 isRetracted "false" @default.
- W2105859895 magId "2105859895" @default.
- W2105859895 workType "book-chapter" @default.