FRINK Linked Data Fragments server

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

• W2004120748 endingPage "366" @default.
• W2004120748 startingPage "343" @default.
• W2004120748 abstract "In previous publications, the authors have introduced the notion of stochastic satisfiability modulo theories (SSMT) and the corresponding SiSAT solving algorithm, which provide a symbolic method for the reachability analysis of probabilistic hybrid systems. SSMT extends satisfiability modulo theories (SMT) with randomized (or stochastic), existential, and universal quantification, as known from stochastic propositional satisfiability. In this paper, we extend the SSMT-based procedures to the symbolic analysis of concurrent probabilistic hybrid systems. After formally introducing the computational model, we provide a mechanized translation scheme to encode probabilistic bounded reachability problems of concurrent probabilistic hybrid automata as linearly sized SSMT formulae, which in turn can be solved by the SiSAT tool. We furthermore propose an algorithmic enhancement which tailors SiSAT to probabilistic bounded reachability problems by caching and reusing solutions obtained on bounded reachability problems of smaller depth. An essential part of this article is devoted to a case study from the networked automation systems domain. We explain in detail the formal model in terms of concurrent probabilistic automata, its encoding into the SiSAT modeling language, and finally the automated quantitative analysis." @default.
• W2004120748 created "2016-06-24" @default.
• W2004120748 creator A5002477196 @default.
• W2004120748 creator A5027022102 @default.
• W2004120748 creator A5089746112 @default.
• W2004120748 date "2011-05-01" @default.
• W2004120748 modified "2023-09-26" @default.
• W2004120748 title "Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems" @default.
• W2004120748 cites W1481397690 @default.
• W2004120748 cites W1482087748 @default.
• W2004120748 cites W1495732641 @default.
• W2004120748 cites W1499722178 @default.
• W2004120748 cites W1508592466 @default.
• W2004120748 cites W1511963917 @default.
• W2004120748 cites W1609596465 @default.
• W2004120748 cites W1787074469 @default.
• W2004120748 cites W2019851160 @default.
• W2004120748 cites W2041340053 @default.
• W2004120748 cites W2086163366 @default.
• W2004120748 cites W2087221982 @default.
• W2004120748 cites W2094530979 @default.
• W2004120748 cites W2100425744 @default.
• W2004120748 cites W2114241070 @default.
• W2004120748 cites W2118424907 @default.
• W2004120748 cites W2124397961 @default.
• W2004120748 cites W2125967324 @default.
• W2004120748 cites W2126053898 @default.
• W2004120748 cites W2127305744 @default.
• W2004120748 cites W2141803002 @default.
• W2004120748 cites W2143706916 @default.
• W2004120748 cites W2158859403 @default.
• W2004120748 cites W2163850966 @default.
• W2004120748 cites W2402275861 @default.
• W2004120748 cites W2415170901 @default.
• W2004120748 cites W2731393059 @default.
• W2004120748 cites W2799664482 @default.
• W2004120748 cites W3144368627 @default.
• W2004120748 cites W581895261 @default.
• W2004120748 cites W91128990 @default.
• W2004120748 cites W1511506132 @default.
• W2004120748 cites W2611819098 @default.
• W2004120748 doi "https://doi.org/10.1016/j.nahs.2010.04.009" @default.
• W2004120748 hasPublicationYear "2011" @default.
• W2004120748 type Work @default.
• W2004120748 sameAs 2004120748 @default.
• W2004120748 citedByCount "19" @default.
• W2004120748 countsByYear W20041207482012 @default.
• W2004120748 countsByYear W20041207482013 @default.
• W2004120748 countsByYear W20041207482014 @default.
• W2004120748 countsByYear W20041207482015 @default.
• W2004120748 countsByYear W20041207482016 @default.
• W2004120748 countsByYear W20041207482017 @default.
• W2004120748 countsByYear W20041207482018 @default.
• W2004120748 crossrefType "journal-article" @default.
• W2004120748 hasAuthorship W2004120748A5002477196 @default.
• W2004120748 hasAuthorship W2004120748A5027022102 @default.
• W2004120748 hasAuthorship W2004120748A5089746112 @default.
• W2004120748 hasConcept C110251889 @default.
• W2004120748 hasConcept C112505250 @default.
• W2004120748 hasConcept C11413529 @default.
• W2004120748 hasConcept C118615104 @default.
• W2004120748 hasConcept C134306372 @default.
• W2004120748 hasConcept C136643341 @default.
• W2004120748 hasConcept C152062344 @default.
• W2004120748 hasConcept C154945302 @default.
• W2004120748 hasConcept C174784677 @default.
• W2004120748 hasConcept C24404364 @default.
• W2004120748 hasConcept C2777669093 @default.
• W2004120748 hasConcept C33923547 @default.
• W2004120748 hasConcept C34388435 @default.
• W2004120748 hasConcept C41008148 @default.
• W2004120748 hasConcept C49937458 @default.
• W2004120748 hasConcept C54732982 @default.
• W2004120748 hasConcept C80444323 @default.
• W2004120748 hasConceptScore W2004120748C110251889 @default.
• W2004120748 hasConceptScore W2004120748C112505250 @default.
• W2004120748 hasConceptScore W2004120748C11413529 @default.
• W2004120748 hasConceptScore W2004120748C118615104 @default.
• W2004120748 hasConceptScore W2004120748C134306372 @default.
• W2004120748 hasConceptScore W2004120748C136643341 @default.
• W2004120748 hasConceptScore W2004120748C152062344 @default.
• W2004120748 hasConceptScore W2004120748C154945302 @default.
• W2004120748 hasConceptScore W2004120748C174784677 @default.
• W2004120748 hasConceptScore W2004120748C24404364 @default.
• W2004120748 hasConceptScore W2004120748C2777669093 @default.
• W2004120748 hasConceptScore W2004120748C33923547 @default.
• W2004120748 hasConceptScore W2004120748C34388435 @default.
• W2004120748 hasConceptScore W2004120748C41008148 @default.
• W2004120748 hasConceptScore W2004120748C49937458 @default.
• W2004120748 hasConceptScore W2004120748C54732982 @default.
• W2004120748 hasConceptScore W2004120748C80444323 @default.
• W2004120748 hasIssue "2" @default.
• W2004120748 hasLocation W20041207481 @default.
• W2004120748 hasOpenAccess W2004120748 @default.
• W2004120748 hasPrimaryLocation W20041207481 @default.
• W2004120748 hasRelatedWork W1556444648 @default.
• W2004120748 hasRelatedWork W1588952892 @default.
• W2004120748 hasRelatedWork W1590344134 @default.

• next