Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130702347> ?p ?o ?g. }
- W2130702347 abstract "Timed automata are popular for formally analyzing real-time systems. However, it is difficult to depict real-time systems with compositional components that interact with each other in a synchronization way or a mutex way. Synchronized components are modeled using parallel composition of timed automata by Larsen et al. This paper proposes controller automata to represent real-time systems with mutex components. In a controller automaton each state corresponds to a timed automaton with a built-in mechanism of relations, e.g., preemptions, in which every such timed automaton models a component of the real-time system. It is shown that given a strict partial order over states, an ordered controller automaton can be translated into a timed automaton. Various analyses are thus performed by checking the reachability to an error state." @default.
- W2130702347 created "2016-06-24" @default.
- W2130702347 creator A5022583120 @default.
- W2130702347 creator A5025628453 @default.
- W2130702347 creator A5061169613 @default.
- W2130702347 date "2010-04-01" @default.
- W2130702347 modified "2023-09-23" @default.
- W2130702347 title "Modeling and analysis of real -time systems with mutex components" @default.
- W2130702347 cites W1482486776 @default.
- W2130702347 cites W1482831602 @default.
- W2130702347 cites W1503973138 @default.
- W2130702347 cites W1506114972 @default.
- W2130702347 cites W1539123944 @default.
- W2130702347 cites W1547243468 @default.
- W2130702347 cites W1550099218 @default.
- W2130702347 cites W1843383196 @default.
- W2130702347 cites W1846929317 @default.
- W2130702347 cites W1862891892 @default.
- W2130702347 cites W1979561589 @default.
- W2130702347 cites W1987234253 @default.
- W2130702347 cites W2000947342 @default.
- W2130702347 cites W2036081705 @default.
- W2130702347 cites W2101508170 @default.
- W2130702347 cites W2103302170 @default.
- W2130702347 cites W2107558091 @default.
- W2130702347 cites W2118802216 @default.
- W2130702347 cites W2122113444 @default.
- W2130702347 cites W2127200569 @default.
- W2130702347 cites W2127785706 @default.
- W2130702347 cites W2130773092 @default.
- W2130702347 cites W2133852704 @default.
- W2130702347 cites W2137784941 @default.
- W2130702347 cites W2142830749 @default.
- W2130702347 cites W2153269726 @default.
- W2130702347 cites W2169630160 @default.
- W2130702347 cites W2170052897 @default.
- W2130702347 cites W2262960161 @default.
- W2130702347 doi "https://doi.org/10.1109/ipdpsw.2010.5470825" @default.
- W2130702347 hasPublicationYear "2010" @default.
- W2130702347 type Work @default.
- W2130702347 sameAs 2130702347 @default.
- W2130702347 citedByCount "2" @default.
- W2130702347 crossrefType "proceedings-article" @default.
- W2130702347 hasAuthorship W2130702347A5022583120 @default.
- W2130702347 hasAuthorship W2130702347A5025628453 @default.
- W2130702347 hasAuthorship W2130702347A5061169613 @default.
- W2130702347 hasConcept C110251889 @default.
- W2130702347 hasConcept C112505250 @default.
- W2130702347 hasConcept C11413529 @default.
- W2130702347 hasConcept C121332964 @default.
- W2130702347 hasConcept C127162648 @default.
- W2130702347 hasConcept C136643341 @default.
- W2130702347 hasConcept C165753454 @default.
- W2130702347 hasConcept C167822520 @default.
- W2130702347 hasConcept C168167062 @default.
- W2130702347 hasConcept C194525867 @default.
- W2130702347 hasConcept C199360897 @default.
- W2130702347 hasConcept C203479927 @default.
- W2130702347 hasConcept C2778562939 @default.
- W2130702347 hasConcept C30788636 @default.
- W2130702347 hasConcept C31258907 @default.
- W2130702347 hasConcept C41008148 @default.
- W2130702347 hasConcept C48103436 @default.
- W2130702347 hasConcept C6557445 @default.
- W2130702347 hasConcept C80444323 @default.
- W2130702347 hasConcept C86803240 @default.
- W2130702347 hasConcept C95203288 @default.
- W2130702347 hasConcept C97355855 @default.
- W2130702347 hasConceptScore W2130702347C110251889 @default.
- W2130702347 hasConceptScore W2130702347C112505250 @default.
- W2130702347 hasConceptScore W2130702347C11413529 @default.
- W2130702347 hasConceptScore W2130702347C121332964 @default.
- W2130702347 hasConceptScore W2130702347C127162648 @default.
- W2130702347 hasConceptScore W2130702347C136643341 @default.
- W2130702347 hasConceptScore W2130702347C165753454 @default.
- W2130702347 hasConceptScore W2130702347C167822520 @default.
- W2130702347 hasConceptScore W2130702347C168167062 @default.
- W2130702347 hasConceptScore W2130702347C194525867 @default.
- W2130702347 hasConceptScore W2130702347C199360897 @default.
- W2130702347 hasConceptScore W2130702347C203479927 @default.
- W2130702347 hasConceptScore W2130702347C2778562939 @default.
- W2130702347 hasConceptScore W2130702347C30788636 @default.
- W2130702347 hasConceptScore W2130702347C31258907 @default.
- W2130702347 hasConceptScore W2130702347C41008148 @default.
- W2130702347 hasConceptScore W2130702347C48103436 @default.
- W2130702347 hasConceptScore W2130702347C6557445 @default.
- W2130702347 hasConceptScore W2130702347C80444323 @default.
- W2130702347 hasConceptScore W2130702347C86803240 @default.
- W2130702347 hasConceptScore W2130702347C95203288 @default.
- W2130702347 hasConceptScore W2130702347C97355855 @default.
- W2130702347 hasLocation W21307023471 @default.
- W2130702347 hasOpenAccess W2130702347 @default.
- W2130702347 hasPrimaryLocation W21307023471 @default.
- W2130702347 hasRelatedWork W117556101 @default.
- W2130702347 hasRelatedWork W1577437452 @default.
- W2130702347 hasRelatedWork W1774309420 @default.
- W2130702347 hasRelatedWork W1971949385 @default.
- W2130702347 hasRelatedWork W2089327660 @default.
- W2130702347 hasRelatedWork W2127219675 @default.
- W2130702347 hasRelatedWork W2130702347 @default.