Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966088204> ?p ?o ?g. }
- W2966088204 endingPage "109" @default.
- W2966088204 startingPage "101" @default.
- W2966088204 abstract "In this paper, we propose a compositional approach for constructing abstractions of general Markov decision processes (gMDPs) using approximate probabilistic relations. The abstraction framework is based on the notion of $$delta $$ -lifted relations, using which one can quantify the distance in probability between the interconnected gMDPs and that of their abstractions. This new approximate relation unifies compositionality results in the literature by allowing abstract models to have either finite or infinite state spaces. To this end, we first propose our compositionality results using the new approximate probabilistic relation which is based on lifting. We then focus on a class of stochastic nonlinear dynamical systems and construct their abstractions using both model order reduction and space discretization in a unified framework. Finally, we demonstrate the effectiveness of the proposed results by considering a network of four nonlinear dynamical subsystems (together 12 dimensions) and constructing finite abstractions from their reduced-order versions (together 4 dimensions) in a unified compositional framework." @default.
- W2966088204 created "2019-08-13" @default.
- W2966088204 creator A5011080021 @default.
- W2966088204 creator A5017334634 @default.
- W2966088204 creator A5030109984 @default.
- W2966088204 date "2019-01-01" @default.
- W2966088204 modified "2023-10-14" @default.
- W2966088204 title "Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems" @default.
- W2966088204 cites W1512937499 @default.
- W2966088204 cites W1976268573 @default.
- W2966088204 cites W1976952121 @default.
- W2966088204 cites W1987073190 @default.
- W2966088204 cites W2015172530 @default.
- W2966088204 cites W2047671935 @default.
- W2966088204 cites W2077328925 @default.
- W2966088204 cites W2080813827 @default.
- W2966088204 cites W2108886305 @default.
- W2966088204 cites W2122994575 @default.
- W2966088204 cites W2126147754 @default.
- W2966088204 cites W2171282796 @default.
- W2966088204 cites W2745094767 @default.
- W2966088204 cites W2763887684 @default.
- W2966088204 cites W2889348608 @default.
- W2966088204 cites W2963355499 @default.
- W2966088204 cites W2963686733 @default.
- W2966088204 cites W3006133815 @default.
- W2966088204 cites W3103644807 @default.
- W2966088204 cites W660320 @default.
- W2966088204 doi "https://doi.org/10.1007/978-3-030-28423-7_7" @default.
- W2966088204 hasPublicationYear "2019" @default.
- W2966088204 type Work @default.
- W2966088204 sameAs 2966088204 @default.
- W2966088204 citedByCount "3" @default.
- W2966088204 countsByYear W29660882042019 @default.
- W2966088204 countsByYear W29660882042022 @default.
- W2966088204 countsByYear W29660882042023 @default.
- W2966088204 crossrefType "book-chapter" @default.
- W2966088204 hasAuthorship W2966088204A5011080021 @default.
- W2966088204 hasAuthorship W2966088204A5017334634 @default.
- W2966088204 hasAuthorship W2966088204A5030109984 @default.
- W2966088204 hasConcept C105795698 @default.
- W2966088204 hasConcept C106189395 @default.
- W2966088204 hasConcept C111472728 @default.
- W2966088204 hasConcept C11413529 @default.
- W2966088204 hasConcept C120665830 @default.
- W2966088204 hasConcept C121332964 @default.
- W2966088204 hasConcept C121375916 @default.
- W2966088204 hasConcept C124101348 @default.
- W2966088204 hasConcept C124304363 @default.
- W2966088204 hasConcept C138885662 @default.
- W2966088204 hasConcept C154945302 @default.
- W2966088204 hasConcept C158622935 @default.
- W2966088204 hasConcept C159886148 @default.
- W2966088204 hasConcept C192209626 @default.
- W2966088204 hasConcept C25343380 @default.
- W2966088204 hasConcept C33923547 @default.
- W2966088204 hasConcept C41008148 @default.
- W2966088204 hasConcept C49937458 @default.
- W2966088204 hasConcept C62520636 @default.
- W2966088204 hasConcept C72434380 @default.
- W2966088204 hasConcept C80444323 @default.
- W2966088204 hasConceptScore W2966088204C105795698 @default.
- W2966088204 hasConceptScore W2966088204C106189395 @default.
- W2966088204 hasConceptScore W2966088204C111472728 @default.
- W2966088204 hasConceptScore W2966088204C11413529 @default.
- W2966088204 hasConceptScore W2966088204C120665830 @default.
- W2966088204 hasConceptScore W2966088204C121332964 @default.
- W2966088204 hasConceptScore W2966088204C121375916 @default.
- W2966088204 hasConceptScore W2966088204C124101348 @default.
- W2966088204 hasConceptScore W2966088204C124304363 @default.
- W2966088204 hasConceptScore W2966088204C138885662 @default.
- W2966088204 hasConceptScore W2966088204C154945302 @default.
- W2966088204 hasConceptScore W2966088204C158622935 @default.
- W2966088204 hasConceptScore W2966088204C159886148 @default.
- W2966088204 hasConceptScore W2966088204C192209626 @default.
- W2966088204 hasConceptScore W2966088204C25343380 @default.
- W2966088204 hasConceptScore W2966088204C33923547 @default.
- W2966088204 hasConceptScore W2966088204C41008148 @default.
- W2966088204 hasConceptScore W2966088204C49937458 @default.
- W2966088204 hasConceptScore W2966088204C62520636 @default.
- W2966088204 hasConceptScore W2966088204C72434380 @default.
- W2966088204 hasConceptScore W2966088204C80444323 @default.
- W2966088204 hasLocation W29660882041 @default.
- W2966088204 hasOpenAccess W2966088204 @default.
- W2966088204 hasPrimaryLocation W29660882041 @default.
- W2966088204 hasRelatedWork W1520268336 @default.
- W2966088204 hasRelatedWork W2152650468 @default.
- W2966088204 hasRelatedWork W2380536301 @default.
- W2966088204 hasRelatedWork W2783252834 @default.
- W2966088204 hasRelatedWork W2950285904 @default.
- W2966088204 hasRelatedWork W2950723509 @default.
- W2966088204 hasRelatedWork W3000188027 @default.
- W2966088204 hasRelatedWork W3099114572 @default.
- W2966088204 hasRelatedWork W3158759410 @default.
- W2966088204 hasRelatedWork W4287905824 @default.
- W2966088204 isParatext "false" @default.
- W2966088204 isRetracted "false" @default.
- W2966088204 magId "2966088204" @default.