Matches in SemOpenAlex for { <https://semopenalex.org/work/W2529909874> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2529909874 startingPage "15" @default.
- W2529909874 abstract "Conventional approaches for parallel composition of stochastic systems relate probability measures of the individual components in terms of product measures. Such approaches rely on the assumption that components interact stochastically independent, which might be too rigid for modeling real world systems. In this paper, we introduce a parallel-composition operator for stochastic transition systems that is based on couplings of probability measures and does not impose any stochastic assumptions. When composing systems within our framework, the intended dependencies between components can be determined by providing so-called spans and span couplings. We present a congruence result for our operator with respect to a standard notion of bisimilarity and develop a general theory for spans, exploiting deep results from descriptive set theory. As an application of our general approach, we propose a model for stochastic hybrid systems called stochastic hybrid motion automata." @default.
- W2529909874 created "2016-10-21" @default.
- W2529909874 creator A5028850927 @default.
- W2529909874 creator A5056800658 @default.
- W2529909874 creator A5091344667 @default.
- W2529909874 date "2016-01-01" @default.
- W2529909874 modified "2023-09-28" @default.
- W2529909874 title "Composition of Stochastic Transition Systems Based on Spans and Couplings" @default.
- W2529909874 doi "https://doi.org/10.4230/lipics.icalp.2016.102" @default.
- W2529909874 hasPublicationYear "2016" @default.
- W2529909874 type Work @default.
- W2529909874 sameAs 2529909874 @default.
- W2529909874 citedByCount "2" @default.
- W2529909874 countsByYear W25299098742020 @default.
- W2529909874 crossrefType "proceedings-article" @default.
- W2529909874 hasAuthorship W2529909874A5028850927 @default.
- W2529909874 hasAuthorship W2529909874A5056800658 @default.
- W2529909874 hasAuthorship W2529909874A5091344667 @default.
- W2529909874 hasConcept C104317684 @default.
- W2529909874 hasConcept C105795698 @default.
- W2529909874 hasConcept C112505250 @default.
- W2529909874 hasConcept C119857082 @default.
- W2529909874 hasConcept C132074034 @default.
- W2529909874 hasConcept C158448853 @default.
- W2529909874 hasConcept C17020691 @default.
- W2529909874 hasConcept C177264268 @default.
- W2529909874 hasConcept C185592680 @default.
- W2529909874 hasConcept C199360897 @default.
- W2529909874 hasConcept C21513729 @default.
- W2529909874 hasConcept C2524010 @default.
- W2529909874 hasConcept C33923547 @default.
- W2529909874 hasConcept C41008148 @default.
- W2529909874 hasConcept C50897621 @default.
- W2529909874 hasConcept C55493867 @default.
- W2529909874 hasConcept C80444323 @default.
- W2529909874 hasConcept C8272713 @default.
- W2529909874 hasConcept C82916341 @default.
- W2529909874 hasConcept C86339819 @default.
- W2529909874 hasConceptScore W2529909874C104317684 @default.
- W2529909874 hasConceptScore W2529909874C105795698 @default.
- W2529909874 hasConceptScore W2529909874C112505250 @default.
- W2529909874 hasConceptScore W2529909874C119857082 @default.
- W2529909874 hasConceptScore W2529909874C132074034 @default.
- W2529909874 hasConceptScore W2529909874C158448853 @default.
- W2529909874 hasConceptScore W2529909874C17020691 @default.
- W2529909874 hasConceptScore W2529909874C177264268 @default.
- W2529909874 hasConceptScore W2529909874C185592680 @default.
- W2529909874 hasConceptScore W2529909874C199360897 @default.
- W2529909874 hasConceptScore W2529909874C21513729 @default.
- W2529909874 hasConceptScore W2529909874C2524010 @default.
- W2529909874 hasConceptScore W2529909874C33923547 @default.
- W2529909874 hasConceptScore W2529909874C41008148 @default.
- W2529909874 hasConceptScore W2529909874C50897621 @default.
- W2529909874 hasConceptScore W2529909874C55493867 @default.
- W2529909874 hasConceptScore W2529909874C80444323 @default.
- W2529909874 hasConceptScore W2529909874C8272713 @default.
- W2529909874 hasConceptScore W2529909874C82916341 @default.
- W2529909874 hasConceptScore W2529909874C86339819 @default.
- W2529909874 hasLocation W25299098741 @default.
- W2529909874 hasOpenAccess W2529909874 @default.
- W2529909874 hasPrimaryLocation W25299098741 @default.
- W2529909874 hasRelatedWork W1491793555 @default.
- W2529909874 hasRelatedWork W157641485 @default.
- W2529909874 hasRelatedWork W1585451655 @default.
- W2529909874 hasRelatedWork W1948638402 @default.
- W2529909874 hasRelatedWork W1972402079 @default.
- W2529909874 hasRelatedWork W1978998112 @default.
- W2529909874 hasRelatedWork W2004601443 @default.
- W2529909874 hasRelatedWork W2014228259 @default.
- W2529909874 hasRelatedWork W2023575060 @default.
- W2529909874 hasRelatedWork W2053530918 @default.
- W2529909874 hasRelatedWork W2077328925 @default.
- W2529909874 hasRelatedWork W2120072629 @default.
- W2529909874 hasRelatedWork W2147263744 @default.
- W2529909874 hasRelatedWork W2154144595 @default.
- W2529909874 hasRelatedWork W2254797286 @default.
- W2529909874 hasRelatedWork W23025651 @default.
- W2529909874 hasRelatedWork W2530137060 @default.
- W2529909874 hasRelatedWork W2962858481 @default.
- W2529909874 hasRelatedWork W2963203002 @default.
- W2529909874 hasRelatedWork W3093809631 @default.
- W2529909874 hasVolume "55" @default.
- W2529909874 isParatext "false" @default.
- W2529909874 isRetracted "false" @default.
- W2529909874 magId "2529909874" @default.
- W2529909874 workType "article" @default.