FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029839940> ?p ?o ?g. }

• W2029839940 endingPage "45" @default.
• W2029839940 startingPage "1" @default.
• W2029839940 abstract "Normally, one thinks of probabilistic transition systems as taking an initial probability distribution over the state space into a new probability distribution representing the system after a transition. We, however, take a dual view of Markov processes as transformers of bounded measurable functions. This is very much in the same spirit as a “predicate-transformer” view, which is dual to the state-transformer view of transition systems. We redevelop the theory of labelled Markov processes from this viewpoint; in particular, we explore approximation theory. We obtain three main results. (i) It is possible to define bisimulation on general measure spaces and show that it is an equivalence relation. The logical characterization of bisimulation can be done straightforwardly and generally. (ii) A new and flexible approach to approximation based on averaging can be given. This vastly generalizes and streamlines the idea of using conditional expectations to compute approximations. (iii) We show that there is a minimal process bisimulation-equivalent to a given process, and this minimal process is obtained as the limit of the finite approximants." @default.
• W2029839940 created "2016-06-24" @default.
• W2029839940 creator A5041838338 @default.
• W2029839940 creator A5059657244 @default.
• W2029839940 creator A5068822568 @default.
• W2029839940 creator A5070609290 @default.
• W2029839940 date "2014-01-01" @default.
• W2029839940 modified "2023-09-24" @default.
• W2029839940 title "Approximating Markov Processes by Averaging" @default.
• W2029839940 cites W1508750282 @default.
• W2029839940 cites W1521302685 @default.
• W2029839940 cites W1606156286 @default.
• W2029839940 cites W1698217787 @default.
• W2029839940 cites W1852424686 @default.
• W2029839940 cites W1976268573 @default.
• W2029839940 cites W1978469611 @default.
• W2029839940 cites W1981607181 @default.
• W2029839940 cites W2000108089 @default.
• W2029839940 cites W2005042687 @default.
• W2029839940 cites W2015172530 @default.
• W2029839940 cites W2041243111 @default.
• W2029839940 cites W2044260813 @default.
• W2029839940 cites W2078103992 @default.
• W2029839940 cites W2100893927 @default.
• W2029839940 cites W2123876422 @default.
• W2029839940 cites W2125781122 @default.
• W2029839940 cites W2141541459 @default.
• W2029839940 cites W2151637592 @default.
• W2029839940 cites W2165161585 @default.
• W2029839940 cites W2320882105 @default.
• W2029839940 cites W4237056971 @default.
• W2029839940 doi "https://doi.org/10.1145/2537948" @default.
• W2029839940 hasPublicationYear "2014" @default.
• W2029839940 type Work @default.
• W2029839940 sameAs 2029839940 @default.
• W2029839940 citedByCount "26" @default.
• W2029839940 countsByYear W20298399402014 @default.
• W2029839940 countsByYear W20298399402015 @default.
• W2029839940 countsByYear W20298399402016 @default.
• W2029839940 countsByYear W20298399402017 @default.
• W2029839940 countsByYear W20298399402018 @default.
• W2029839940 countsByYear W20298399402019 @default.
• W2029839940 countsByYear W20298399402020 @default.
• W2029839940 crossrefType "journal-article" @default.
• W2029839940 hasAuthorship W2029839940A5041838338 @default.
• W2029839940 hasAuthorship W2029839940A5059657244 @default.
• W2029839940 hasAuthorship W2029839940A5068822568 @default.
• W2029839940 hasAuthorship W2029839940A5070609290 @default.
• W2029839940 hasBestOaLocation W20298399401 @default.
• W2029839940 hasConcept C105795698 @default.
• W2029839940 hasConcept C106666656 @default.
• W2029839940 hasConcept C118615104 @default.
• W2029839940 hasConcept C134306372 @default.
• W2029839940 hasConcept C135315306 @default.
• W2029839940 hasConcept C149441793 @default.
• W2029839940 hasConcept C159886148 @default.
• W2029839940 hasConcept C163836022 @default.
• W2029839940 hasConcept C21031990 @default.
• W2029839940 hasConcept C2780069185 @default.
• W2029839940 hasConcept C28826006 @default.
• W2029839940 hasConcept C33923547 @default.
• W2029839940 hasConcept C34388435 @default.
• W2029839940 hasConcept C49937458 @default.
• W2029839940 hasConcept C54907487 @default.
• W2029839940 hasConcept C98763669 @default.
• W2029839940 hasConceptScore W2029839940C105795698 @default.
• W2029839940 hasConceptScore W2029839940C106666656 @default.
• W2029839940 hasConceptScore W2029839940C118615104 @default.
• W2029839940 hasConceptScore W2029839940C134306372 @default.
• W2029839940 hasConceptScore W2029839940C135315306 @default.
• W2029839940 hasConceptScore W2029839940C149441793 @default.
• W2029839940 hasConceptScore W2029839940C159886148 @default.
• W2029839940 hasConceptScore W2029839940C163836022 @default.
• W2029839940 hasConceptScore W2029839940C21031990 @default.
• W2029839940 hasConceptScore W2029839940C2780069185 @default.
• W2029839940 hasConceptScore W2029839940C28826006 @default.
• W2029839940 hasConceptScore W2029839940C33923547 @default.
• W2029839940 hasConceptScore W2029839940C34388435 @default.
• W2029839940 hasConceptScore W2029839940C49937458 @default.
• W2029839940 hasConceptScore W2029839940C54907487 @default.
• W2029839940 hasConceptScore W2029839940C98763669 @default.
• W2029839940 hasFunder F4320334593 @default.
• W2029839940 hasFunder F4320337345 @default.
• W2029839940 hasIssue "1" @default.
• W2029839940 hasLocation W20298399401 @default.
• W2029839940 hasLocation W20298399402 @default.
• W2029839940 hasLocation W20298399403 @default.
• W2029839940 hasLocation W20298399404 @default.
• W2029839940 hasLocation W20298399405 @default.
• W2029839940 hasOpenAccess W2029839940 @default.
• W2029839940 hasPrimaryLocation W20298399401 @default.
• W2029839940 hasRelatedWork W1504009014 @default.
• W2029839940 hasRelatedWork W2029839940 @default.
• W2029839940 hasRelatedWork W2085568542 @default.
• W2029839940 hasRelatedWork W2158041157 @default.
• W2029839940 hasRelatedWork W2359815207 @default.
• W2029839940 hasRelatedWork W2804903931 @default.
• W2029839940 hasRelatedWork W2883844381 @default.

• next