Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247570130> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4247570130 endingPage "412" @default.
- W4247570130 startingPage "412" @default.
- W4247570130 abstract "The verification of dynamic real-time systems, such as ad-hoc networks and ambient systems needs formal approaches and frameworks enabling tool construction. In this paper, the decidability question is addressed on a class of timed automata, the dynamic timed automata with relative time rates model (rd-TA). We introduce rd-TA as a simple extension of standard timed automata in which any process may spawn new processes. In this model, the distributed timed systems are formed by a set of dynamic timed automata. Each automaton is characterised by a set of local clocks that evolve at different but relative rate of the clocks of the other components. The main contribution is the consideration of slope parameter (which is the ratio of clock rates). This parameter helps us to explore the semantics based on region abstraction for decidability assessment and proof." @default.
- W4247570130 created "2022-05-12" @default.
- W4247570130 creator A5007281679 @default.
- W4247570130 creator A5014809852 @default.
- W4247570130 creator A5058004291 @default.
- W4247570130 creator A5079038945 @default.
- W4247570130 date "2016-01-01" @default.
- W4247570130 modified "2023-10-06" @default.
- W4247570130 title "Relative time rates in dynamic timed automata" @default.
- W4247570130 doi "https://doi.org/10.1504/ijcnds.2016.10001615" @default.
- W4247570130 hasPublicationYear "2016" @default.
- W4247570130 type Work @default.
- W4247570130 citedByCount "0" @default.
- W4247570130 crossrefType "journal-article" @default.
- W4247570130 hasAuthorship W4247570130A5007281679 @default.
- W4247570130 hasAuthorship W4247570130A5014809852 @default.
- W4247570130 hasAuthorship W4247570130A5058004291 @default.
- W4247570130 hasAuthorship W4247570130A5079038945 @default.
- W4247570130 hasConcept C111472728 @default.
- W4247570130 hasConcept C112505250 @default.
- W4247570130 hasConcept C11413529 @default.
- W4247570130 hasConcept C120314980 @default.
- W4247570130 hasConcept C124304363 @default.
- W4247570130 hasConcept C138885662 @default.
- W4247570130 hasConcept C153269930 @default.
- W4247570130 hasConcept C17458331 @default.
- W4247570130 hasConcept C2776028153 @default.
- W4247570130 hasConcept C30788636 @default.
- W4247570130 hasConcept C41008148 @default.
- W4247570130 hasConcept C505870484 @default.
- W4247570130 hasConcept C80444323 @default.
- W4247570130 hasConcept C86803240 @default.
- W4247570130 hasConceptScore W4247570130C111472728 @default.
- W4247570130 hasConceptScore W4247570130C112505250 @default.
- W4247570130 hasConceptScore W4247570130C11413529 @default.
- W4247570130 hasConceptScore W4247570130C120314980 @default.
- W4247570130 hasConceptScore W4247570130C124304363 @default.
- W4247570130 hasConceptScore W4247570130C138885662 @default.
- W4247570130 hasConceptScore W4247570130C153269930 @default.
- W4247570130 hasConceptScore W4247570130C17458331 @default.
- W4247570130 hasConceptScore W4247570130C2776028153 @default.
- W4247570130 hasConceptScore W4247570130C30788636 @default.
- W4247570130 hasConceptScore W4247570130C41008148 @default.
- W4247570130 hasConceptScore W4247570130C505870484 @default.
- W4247570130 hasConceptScore W4247570130C80444323 @default.
- W4247570130 hasConceptScore W4247570130C86803240 @default.
- W4247570130 hasIssue "4" @default.
- W4247570130 hasLocation W42475701301 @default.
- W4247570130 hasOpenAccess W4247570130 @default.
- W4247570130 hasPrimaryLocation W42475701301 @default.
- W4247570130 hasRelatedWork W1803004510 @default.
- W4247570130 hasRelatedWork W2065323166 @default.
- W4247570130 hasRelatedWork W2087195305 @default.
- W4247570130 hasRelatedWork W2121482121 @default.
- W4247570130 hasRelatedWork W2559244825 @default.
- W4247570130 hasRelatedWork W2611053771 @default.
- W4247570130 hasRelatedWork W2950207863 @default.
- W4247570130 hasRelatedWork W2951439219 @default.
- W4247570130 hasRelatedWork W2964131994 @default.
- W4247570130 hasRelatedWork W2513115160 @default.
- W4247570130 hasVolume "17" @default.
- W4247570130 isParatext "false" @default.
- W4247570130 isRetracted "false" @default.
- W4247570130 workType "article" @default.