Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892924840> ?p ?o ?g. }
- W2892924840 endingPage "447" @default.
- W2892924840 startingPage "423" @default.
- W2892924840 abstract "Stochastic model-based approaches are widely used for obtaining quantitative non-functional indicators of the analysed systems, as for example reliability, performance and energy consumption. However, a critical issue with models is their validation, in order to justifiably put reliance on the analysis results they provide. In this paper, we address cross-validation on a case study from the railway domain, by modelling and evaluating it with different formalisms and tools. Stochastic Activity Networks models and Stochastic Hybrid Automata models of rail road switch heaters, developed for the purpose of evaluating energy consumption and reliability indicators, will be evaluated with Mobius and Uppaal SMC. We will compare the obtained results, to improve their trustworthiness and to provide insights on the design and analysis of energy-saving cyber-physical systems." @default.
- W2892924840 created "2018-10-05" @default.
- W2892924840 creator A5011748603 @default.
- W2892924840 creator A5014572316 @default.
- W2892924840 creator A5055266810 @default.
- W2892924840 date "2018-09-30" @default.
- W2892924840 modified "2023-10-13" @default.
- W2892924840 title "On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems" @default.
- W2892924840 cites W116680363 @default.
- W2892924840 cites W1485054801 @default.
- W2892924840 cites W1485650462 @default.
- W2892924840 cites W1631091010 @default.
- W2892924840 cites W1859458367 @default.
- W2892924840 cites W1975720701 @default.
- W2892924840 cites W2000947342 @default.
- W2892924840 cites W2007576974 @default.
- W2892924840 cites W2037736623 @default.
- W2892924840 cites W2071103858 @default.
- W2892924840 cites W2090188531 @default.
- W2892924840 cites W2101508170 @default.
- W2892924840 cites W2123610695 @default.
- W2892924840 cites W2133164797 @default.
- W2892924840 cites W2145071552 @default.
- W2892924840 cites W2159443917 @default.
- W2892924840 cites W2165276844 @default.
- W2892924840 cites W2166423024 @default.
- W2892924840 cites W2169239645 @default.
- W2892924840 cites W2194666374 @default.
- W2892924840 cites W2260628101 @default.
- W2892924840 cites W2522373891 @default.
- W2892924840 cites W2522843867 @default.
- W2892924840 cites W2529254087 @default.
- W2892924840 cites W2529263241 @default.
- W2892924840 cites W2606318502 @default.
- W2892924840 cites W2606328725 @default.
- W2892924840 cites W2620444793 @default.
- W2892924840 cites W275084143 @default.
- W2892924840 cites W2912198824 @default.
- W2892924840 cites W2962996889 @default.
- W2892924840 cites W4231085261 @default.
- W2892924840 cites W43031245 @default.
- W2892924840 cites W2132018119 @default.
- W2892924840 doi "https://doi.org/10.1007/978-3-030-00253-4_18" @default.
- W2892924840 hasPublicationYear "2018" @default.
- W2892924840 type Work @default.
- W2892924840 sameAs 2892924840 @default.
- W2892924840 citedByCount "6" @default.
- W2892924840 countsByYear W28929248402019 @default.
- W2892924840 countsByYear W28929248402020 @default.
- W2892924840 countsByYear W28929248402021 @default.
- W2892924840 crossrefType "book-chapter" @default.
- W2892924840 hasAuthorship W2892924840A5011748603 @default.
- W2892924840 hasAuthorship W2892924840A5014572316 @default.
- W2892924840 hasAuthorship W2892924840A5055266810 @default.
- W2892924840 hasConcept C105795698 @default.
- W2892924840 hasConcept C112505250 @default.
- W2892924840 hasConcept C112930515 @default.
- W2892924840 hasConcept C11413529 @default.
- W2892924840 hasConcept C119599485 @default.
- W2892924840 hasConcept C121332964 @default.
- W2892924840 hasConcept C127413603 @default.
- W2892924840 hasConcept C127491075 @default.
- W2892924840 hasConcept C134306372 @default.
- W2892924840 hasConcept C163258240 @default.
- W2892924840 hasConcept C171018156 @default.
- W2892924840 hasConcept C186370098 @default.
- W2892924840 hasConcept C200601418 @default.
- W2892924840 hasConcept C2524010 @default.
- W2892924840 hasConcept C2780165032 @default.
- W2892924840 hasConcept C33923547 @default.
- W2892924840 hasConcept C35527583 @default.
- W2892924840 hasConcept C36503486 @default.
- W2892924840 hasConcept C41008148 @default.
- W2892924840 hasConcept C43214815 @default.
- W2892924840 hasConcept C62520636 @default.
- W2892924840 hasConcept C71924100 @default.
- W2892924840 hasConcept C80444323 @default.
- W2892924840 hasConceptScore W2892924840C105795698 @default.
- W2892924840 hasConceptScore W2892924840C112505250 @default.
- W2892924840 hasConceptScore W2892924840C112930515 @default.
- W2892924840 hasConceptScore W2892924840C11413529 @default.
- W2892924840 hasConceptScore W2892924840C119599485 @default.
- W2892924840 hasConceptScore W2892924840C121332964 @default.
- W2892924840 hasConceptScore W2892924840C127413603 @default.
- W2892924840 hasConceptScore W2892924840C127491075 @default.
- W2892924840 hasConceptScore W2892924840C134306372 @default.
- W2892924840 hasConceptScore W2892924840C163258240 @default.
- W2892924840 hasConceptScore W2892924840C171018156 @default.
- W2892924840 hasConceptScore W2892924840C186370098 @default.
- W2892924840 hasConceptScore W2892924840C200601418 @default.
- W2892924840 hasConceptScore W2892924840C2524010 @default.
- W2892924840 hasConceptScore W2892924840C2780165032 @default.
- W2892924840 hasConceptScore W2892924840C33923547 @default.
- W2892924840 hasConceptScore W2892924840C35527583 @default.
- W2892924840 hasConceptScore W2892924840C36503486 @default.
- W2892924840 hasConceptScore W2892924840C41008148 @default.
- W2892924840 hasConceptScore W2892924840C43214815 @default.
- W2892924840 hasConceptScore W2892924840C62520636 @default.