Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030871020> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2030871020 abstract "In this paper we study the reachability analysis problem for timed systems specified in a hierarchical manner. First we provide a formal model, called hierarchical extended Mealy machine with timer, input and output events, as well with input, output and context variables. Then we present a synchronous semantics of the model. A main feature of this model is that the crossing of superstates' boundaries is forbidden, i.e., transitions between states in different superstates are not allowed. Finally we propose a reachability analysis method for finding (minimal) executions between configurations of a given deterministic hierarchical machine. Executions may require resetting of some constituent machines by entering some of their ancestor states. The algorithm exploits the hierarchical structure of the machine. The complexity of our algorithm is linear in R where R is the complexity of the reachability analysis of constituent machines." @default.
- W2030871020 created "2016-06-24" @default.
- W2030871020 creator A5024103899 @default.
- W2030871020 creator A5050633462 @default.
- W2030871020 creator A5079848365 @default.
- W2030871020 creator A5081333705 @default.
- W2030871020 date "2014-08-01" @default.
- W2030871020 modified "2023-09-23" @default.
- W2030871020 title "Reachability in hierarchical machines" @default.
- W2030871020 cites W1488872683 @default.
- W2030871020 cites W1522465028 @default.
- W2030871020 cites W1766479663 @default.
- W2030871020 cites W1977116278 @default.
- W2030871020 cites W2025480213 @default.
- W2030871020 cites W2035610952 @default.
- W2030871020 cites W2060993374 @default.
- W2030871020 cites W2070633450 @default.
- W2030871020 cites W2075773711 @default.
- W2030871020 cites W2084555692 @default.
- W2030871020 cites W2099529102 @default.
- W2030871020 cites W2099940665 @default.
- W2030871020 cites W2110052743 @default.
- W2030871020 cites W2122676216 @default.
- W2030871020 cites W2125415493 @default.
- W2030871020 cites W2125967324 @default.
- W2030871020 cites W2129538349 @default.
- W2030871020 cites W2132661148 @default.
- W2030871020 cites W2139059344 @default.
- W2030871020 cites W2147880466 @default.
- W2030871020 cites W92641534 @default.
- W2030871020 doi "https://doi.org/10.1109/iri.2014.7051927" @default.
- W2030871020 hasPublicationYear "2014" @default.
- W2030871020 type Work @default.
- W2030871020 sameAs 2030871020 @default.
- W2030871020 citedByCount "0" @default.
- W2030871020 crossrefType "proceedings-article" @default.
- W2030871020 hasAuthorship W2030871020A5024103899 @default.
- W2030871020 hasAuthorship W2030871020A5050633462 @default.
- W2030871020 hasAuthorship W2030871020A5079848365 @default.
- W2030871020 hasAuthorship W2030871020A5081333705 @default.
- W2030871020 hasConcept C11413529 @default.
- W2030871020 hasConcept C136643341 @default.
- W2030871020 hasConcept C138885662 @default.
- W2030871020 hasConcept C151730666 @default.
- W2030871020 hasConcept C167822520 @default.
- W2030871020 hasConcept C184337299 @default.
- W2030871020 hasConcept C199360897 @default.
- W2030871020 hasConcept C2776401178 @default.
- W2030871020 hasConcept C2777669093 @default.
- W2030871020 hasConcept C2779343474 @default.
- W2030871020 hasConcept C41008148 @default.
- W2030871020 hasConcept C41895202 @default.
- W2030871020 hasConcept C80444323 @default.
- W2030871020 hasConcept C86803240 @default.
- W2030871020 hasConceptScore W2030871020C11413529 @default.
- W2030871020 hasConceptScore W2030871020C136643341 @default.
- W2030871020 hasConceptScore W2030871020C138885662 @default.
- W2030871020 hasConceptScore W2030871020C151730666 @default.
- W2030871020 hasConceptScore W2030871020C167822520 @default.
- W2030871020 hasConceptScore W2030871020C184337299 @default.
- W2030871020 hasConceptScore W2030871020C199360897 @default.
- W2030871020 hasConceptScore W2030871020C2776401178 @default.
- W2030871020 hasConceptScore W2030871020C2777669093 @default.
- W2030871020 hasConceptScore W2030871020C2779343474 @default.
- W2030871020 hasConceptScore W2030871020C41008148 @default.
- W2030871020 hasConceptScore W2030871020C41895202 @default.
- W2030871020 hasConceptScore W2030871020C80444323 @default.
- W2030871020 hasConceptScore W2030871020C86803240 @default.
- W2030871020 hasLocation W20308710201 @default.
- W2030871020 hasOpenAccess W2030871020 @default.
- W2030871020 hasPrimaryLocation W20308710201 @default.
- W2030871020 hasRelatedWork W1561838634 @default.
- W2030871020 hasRelatedWork W1724856927 @default.
- W2030871020 hasRelatedWork W2047831585 @default.
- W2030871020 hasRelatedWork W2084642400 @default.
- W2030871020 hasRelatedWork W2092412604 @default.
- W2030871020 hasRelatedWork W2107012191 @default.
- W2030871020 hasRelatedWork W2281921707 @default.
- W2030871020 hasRelatedWork W2889459478 @default.
- W2030871020 hasRelatedWork W3095160120 @default.
- W2030871020 hasRelatedWork W4253760428 @default.
- W2030871020 isParatext "false" @default.
- W2030871020 isRetracted "false" @default.
- W2030871020 magId "2030871020" @default.
- W2030871020 workType "article" @default.