Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170652004> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2170652004 abstract "Supply chain [2, 6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply chain design and management. We propose a novel computational framework for modeling and analyzing the stochastic behaviors of a supply chain. The framework is based on probabilistic model checking, a formal verification technique for analyzing stochastic systems. Our approach is two-fold: first, we develop Stochastic Merchandise Flow Model (SMF), a formal framework for modeling stochastic supply chains based on Extended Markov Decision Process (EMDP); second, we propose a model-checking-based formal technique to automate the analysis of a stochastic supply chain. Our model-checking-based approach leverages benefits of recent advances in symbolic probabilistic model checking to improve the efficiency and scalability of decision procedures. Using the temporal logic PCTL [1] and the symbolic probabilistic model checker PRISM [4], we are able to express and check complicate temporal and stochastic properties on supply chains. Finally, we demonstrate the capability of our model-checking-based approach by applying it to a variety of stochastic supply chain models." @default.
- W2170652004 created "2016-06-24" @default.
- W2170652004 creator A5006871027 @default.
- W2170652004 creator A5011087281 @default.
- W2170652004 date "2008-01-01" @default.
- W2170652004 modified "2023-09-26" @default.
- W2170652004 title "Model check stochastic supply chains" @default.
- W2170652004 cites W1588952892 @default.
- W2170652004 cites W2075543579 @default.
- W2170652004 cites W2112347632 @default.
- W2170652004 cites W2118039525 @default.
- W2170652004 cites W2119567691 @default.
- W2170652004 cites W2153159747 @default.
- W2170652004 cites W1601373402 @default.
- W2170652004 cites W2583833536 @default.
- W2170652004 doi "https://doi.org/10.1109/iri.2008.4583067" @default.
- W2170652004 hasPublicationYear "2008" @default.
- W2170652004 type Work @default.
- W2170652004 sameAs 2170652004 @default.
- W2170652004 citedByCount "4" @default.
- W2170652004 countsByYear W21706520042012 @default.
- W2170652004 crossrefType "proceedings-article" @default.
- W2170652004 hasAuthorship W2170652004A5006871027 @default.
- W2170652004 hasAuthorship W2170652004A5011087281 @default.
- W2170652004 hasConcept C105795698 @default.
- W2170652004 hasConcept C106189395 @default.
- W2170652004 hasConcept C108713360 @default.
- W2170652004 hasConcept C110251889 @default.
- W2170652004 hasConcept C111498074 @default.
- W2170652004 hasConcept C119857082 @default.
- W2170652004 hasConcept C121332964 @default.
- W2170652004 hasConcept C127491075 @default.
- W2170652004 hasConcept C154945302 @default.
- W2170652004 hasConcept C159886148 @default.
- W2170652004 hasConcept C168167062 @default.
- W2170652004 hasConcept C17744445 @default.
- W2170652004 hasConcept C199539241 @default.
- W2170652004 hasConcept C24404364 @default.
- W2170652004 hasConcept C25016198 @default.
- W2170652004 hasConcept C33923547 @default.
- W2170652004 hasConcept C41008148 @default.
- W2170652004 hasConcept C48044578 @default.
- W2170652004 hasConcept C49937458 @default.
- W2170652004 hasConcept C52063229 @default.
- W2170652004 hasConcept C77088390 @default.
- W2170652004 hasConcept C80444323 @default.
- W2170652004 hasConcept C8272713 @default.
- W2170652004 hasConcept C97355855 @default.
- W2170652004 hasConcept C98763669 @default.
- W2170652004 hasConceptScore W2170652004C105795698 @default.
- W2170652004 hasConceptScore W2170652004C106189395 @default.
- W2170652004 hasConceptScore W2170652004C108713360 @default.
- W2170652004 hasConceptScore W2170652004C110251889 @default.
- W2170652004 hasConceptScore W2170652004C111498074 @default.
- W2170652004 hasConceptScore W2170652004C119857082 @default.
- W2170652004 hasConceptScore W2170652004C121332964 @default.
- W2170652004 hasConceptScore W2170652004C127491075 @default.
- W2170652004 hasConceptScore W2170652004C154945302 @default.
- W2170652004 hasConceptScore W2170652004C159886148 @default.
- W2170652004 hasConceptScore W2170652004C168167062 @default.
- W2170652004 hasConceptScore W2170652004C17744445 @default.
- W2170652004 hasConceptScore W2170652004C199539241 @default.
- W2170652004 hasConceptScore W2170652004C24404364 @default.
- W2170652004 hasConceptScore W2170652004C25016198 @default.
- W2170652004 hasConceptScore W2170652004C33923547 @default.
- W2170652004 hasConceptScore W2170652004C41008148 @default.
- W2170652004 hasConceptScore W2170652004C48044578 @default.
- W2170652004 hasConceptScore W2170652004C49937458 @default.
- W2170652004 hasConceptScore W2170652004C52063229 @default.
- W2170652004 hasConceptScore W2170652004C77088390 @default.
- W2170652004 hasConceptScore W2170652004C80444323 @default.
- W2170652004 hasConceptScore W2170652004C8272713 @default.
- W2170652004 hasConceptScore W2170652004C97355855 @default.
- W2170652004 hasConceptScore W2170652004C98763669 @default.
- W2170652004 hasLocation W21706520041 @default.
- W2170652004 hasOpenAccess W2170652004 @default.
- W2170652004 hasPrimaryLocation W21706520041 @default.
- W2170652004 hasRelatedWork W137456412 @default.
- W2170652004 hasRelatedWork W1497573972 @default.
- W2170652004 hasRelatedWork W2097439419 @default.
- W2170652004 hasRelatedWork W2170652004 @default.
- W2170652004 hasRelatedWork W2395749546 @default.
- W2170652004 hasRelatedWork W2481947210 @default.
- W2170652004 hasRelatedWork W2576017016 @default.
- W2170652004 hasRelatedWork W2951033492 @default.
- W2170652004 hasRelatedWork W3138564825 @default.
- W2170652004 hasRelatedWork W4297909958 @default.
- W2170652004 isParatext "false" @default.
- W2170652004 isRetracted "false" @default.
- W2170652004 magId "2170652004" @default.
- W2170652004 workType "article" @default.