Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520745926> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1520745926 abstract "In this paper we present a modelling formalism for dynamic networks of stochastic hybrid automata. In particular, our formalism is based on primitives for the dynamic creation and termination of hybrid automata components during the execution of a system. In this way we allow for natural modelling of concepts such as multiple threads found in various programming paradigms, as well as the dynamic evolution of biological systems. We provide a natural stochastic semantics of the modelling formalism based on re- peated output races between the dynamic evolving components of a system. As specification language we present a quantified extension of the logic Metric Tempo- ral Logic (MTL). As a main contribution of this paper, the statistical model checking engine of U PPAAL has been extended to the setting of dynamic networks of hybrid systems and quantified MTL. We demonstrate the usefulness of the extended for- malisms in an analysis of a dynamic version of the well-known Train Gate example, as well as in natural monitoring of a MTL formula, where observations may lead to dynamic creation of monitors for sub-formulas." @default.
- W1520745926 created "2016-06-24" @default.
- W1520745926 creator A5024475534 @default.
- W1520745926 creator A5030129842 @default.
- W1520745926 creator A5051884235 @default.
- W1520745926 creator A5069362159 @default.
- W1520745926 date "2014-02-10" @default.
- W1520745926 modified "2023-09-24" @default.
- W1520745926 title "Statistical model checking of dynamic networks of stochastic hybrid automata" @default.
- W1520745926 cites W122354569 @default.
- W1520745926 cites W1489725951 @default.
- W1520745926 cites W1510156699 @default.
- W1520745926 cites W1560643704 @default.
- W1520745926 cites W1571597373 @default.
- W1520745926 cites W1631091010 @default.
- W1520745926 cites W1970733094 @default.
- W1520745926 cites W2026629052 @default.
- W1520745926 cites W2033406822 @default.
- W1520745926 cites W2097139655 @default.
- W1520745926 cites W2101508170 @default.
- W1520745926 cites W2128932399 @default.
- W1520745926 cites W2137865376 @default.
- W1520745926 cites W2152375667 @default.
- W1520745926 cites W2156314014 @default.
- W1520745926 cites W2164650189 @default.
- W1520745926 cites W296769721 @default.
- W1520745926 doi "https://doi.org/10.14279/tuj.eceasst.66.893" @default.
- W1520745926 hasPublicationYear "2014" @default.
- W1520745926 type Work @default.
- W1520745926 sameAs 1520745926 @default.
- W1520745926 citedByCount "5" @default.
- W1520745926 countsByYear W15207459262014 @default.
- W1520745926 countsByYear W15207459262015 @default.
- W1520745926 countsByYear W15207459262016 @default.
- W1520745926 crossrefType "proceedings-article" @default.
- W1520745926 hasAuthorship W1520745926A5024475534 @default.
- W1520745926 hasAuthorship W1520745926A5030129842 @default.
- W1520745926 hasAuthorship W1520745926A5051884235 @default.
- W1520745926 hasAuthorship W1520745926A5069362159 @default.
- W1520745926 hasConcept C110251889 @default.
- W1520745926 hasConcept C112505250 @default.
- W1520745926 hasConcept C119857082 @default.
- W1520745926 hasConcept C142362112 @default.
- W1520745926 hasConcept C153349607 @default.
- W1520745926 hasConcept C184337299 @default.
- W1520745926 hasConcept C199360897 @default.
- W1520745926 hasConcept C25016198 @default.
- W1520745926 hasConcept C2776028153 @default.
- W1520745926 hasConcept C41008148 @default.
- W1520745926 hasConcept C50897621 @default.
- W1520745926 hasConcept C558565934 @default.
- W1520745926 hasConcept C73301696 @default.
- W1520745926 hasConcept C80444323 @default.
- W1520745926 hasConceptScore W1520745926C110251889 @default.
- W1520745926 hasConceptScore W1520745926C112505250 @default.
- W1520745926 hasConceptScore W1520745926C119857082 @default.
- W1520745926 hasConceptScore W1520745926C142362112 @default.
- W1520745926 hasConceptScore W1520745926C153349607 @default.
- W1520745926 hasConceptScore W1520745926C184337299 @default.
- W1520745926 hasConceptScore W1520745926C199360897 @default.
- W1520745926 hasConceptScore W1520745926C25016198 @default.
- W1520745926 hasConceptScore W1520745926C2776028153 @default.
- W1520745926 hasConceptScore W1520745926C41008148 @default.
- W1520745926 hasConceptScore W1520745926C50897621 @default.
- W1520745926 hasConceptScore W1520745926C558565934 @default.
- W1520745926 hasConceptScore W1520745926C73301696 @default.
- W1520745926 hasConceptScore W1520745926C80444323 @default.
- W1520745926 hasLocation W15207459261 @default.
- W1520745926 hasOpenAccess W1520745926 @default.
- W1520745926 hasPrimaryLocation W15207459261 @default.
- W1520745926 hasRelatedWork W1122623742 @default.
- W1520745926 hasRelatedWork W1489868140 @default.
- W1520745926 hasRelatedWork W1539631318 @default.
- W1520745926 hasRelatedWork W1559578932 @default.
- W1520745926 hasRelatedWork W1597178621 @default.
- W1520745926 hasRelatedWork W160316085 @default.
- W1520745926 hasRelatedWork W1606563312 @default.
- W1520745926 hasRelatedWork W1861897023 @default.
- W1520745926 hasRelatedWork W2065323166 @default.
- W1520745926 hasRelatedWork W2087486424 @default.
- W1520745926 hasRelatedWork W2101508170 @default.
- W1520745926 hasRelatedWork W2257944674 @default.
- W1520745926 hasRelatedWork W2416235366 @default.
- W1520745926 hasRelatedWork W2590905045 @default.
- W1520745926 hasRelatedWork W2591903828 @default.
- W1520745926 hasRelatedWork W3044908040 @default.
- W1520745926 hasRelatedWork W3176169682 @default.
- W1520745926 hasRelatedWork W324729440 @default.
- W1520745926 hasRelatedWork W63768794 @default.
- W1520745926 hasRelatedWork W98211343 @default.
- W1520745926 hasVolume "66" @default.
- W1520745926 isParatext "false" @default.
- W1520745926 isRetracted "false" @default.
- W1520745926 magId "1520745926" @default.
- W1520745926 workType "article" @default.