Matches in SemOpenAlex for { <https://semopenalex.org/work/W2419765181> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2419765181 abstract "Cost optimization is a main concern of the industry nowadays and reducing the total energy input is one of the main ways to achieve it. Modeling through discrete event systems is a powerful tool to model complex human made systems often encountered in the manufacturing and model checkers offer a framework for the evaluation and optimization of such systems. A formalism is presented in the present paper to define a discrete version of Priced Timed Automata in the model checker PRISM by using an extension to discrete automata. Priced Timed Automata have been introduced as a formal way to study real time continuous systems. However, PRISM is a tool conceived for discrete automata but cannot handle the continuous priced automata directly due to its high restrictions in using the clock variables. The presented formalism offers an approach of modelling that gets around these restrictions." @default.
- W2419765181 created "2016-06-24" @default.
- W2419765181 creator A5056060218 @default.
- W2419765181 creator A5067727399 @default.
- W2419765181 date "2016-05-01" @default.
- W2419765181 modified "2023-09-25" @default.
- W2419765181 title "Priced discrete Automata for modeling energy efficient manufacturing systems" @default.
- W2419765181 cites W1489067204 @default.
- W2419765181 cites W1572777470 @default.
- W2419765181 cites W1587691136 @default.
- W2419765181 cites W1590344134 @default.
- W2419765181 cites W1862398452 @default.
- W2419765181 cites W1962072139 @default.
- W2419765181 cites W1966445032 @default.
- W2419765181 cites W1986603079 @default.
- W2419765181 cites W2004266234 @default.
- W2419765181 cites W2010335050 @default.
- W2419765181 cites W2028827800 @default.
- W2419765181 cites W2059057465 @default.
- W2419765181 cites W2086673120 @default.
- W2419765181 cites W2092483720 @default.
- W2419765181 cites W2093676880 @default.
- W2419765181 cites W2095602520 @default.
- W2419765181 cites W2101508170 @default.
- W2419765181 cites W2113871106 @default.
- W2419765181 cites W2115764030 @default.
- W2419765181 cites W2140595448 @default.
- W2419765181 doi "https://doi.org/10.1109/wodes.2016.7497829" @default.
- W2419765181 hasPublicationYear "2016" @default.
- W2419765181 type Work @default.
- W2419765181 sameAs 2419765181 @default.
- W2419765181 citedByCount "0" @default.
- W2419765181 crossrefType "proceedings-article" @default.
- W2419765181 hasAuthorship W2419765181A5056060218 @default.
- W2419765181 hasAuthorship W2419765181A5067727399 @default.
- W2419765181 hasConcept C110251889 @default.
- W2419765181 hasConcept C110963975 @default.
- W2419765181 hasConcept C112505250 @default.
- W2419765181 hasConcept C11413529 @default.
- W2419765181 hasConcept C115903868 @default.
- W2419765181 hasConcept C116248031 @default.
- W2419765181 hasConcept C142362112 @default.
- W2419765181 hasConcept C147203929 @default.
- W2419765181 hasConcept C153349607 @default.
- W2419765181 hasConcept C154945302 @default.
- W2419765181 hasConcept C35527583 @default.
- W2419765181 hasConcept C41008148 @default.
- W2419765181 hasConcept C44154836 @default.
- W2419765181 hasConcept C47822265 @default.
- W2419765181 hasConcept C558565934 @default.
- W2419765181 hasConcept C73301696 @default.
- W2419765181 hasConcept C80444323 @default.
- W2419765181 hasConceptScore W2419765181C110251889 @default.
- W2419765181 hasConceptScore W2419765181C110963975 @default.
- W2419765181 hasConceptScore W2419765181C112505250 @default.
- W2419765181 hasConceptScore W2419765181C11413529 @default.
- W2419765181 hasConceptScore W2419765181C115903868 @default.
- W2419765181 hasConceptScore W2419765181C116248031 @default.
- W2419765181 hasConceptScore W2419765181C142362112 @default.
- W2419765181 hasConceptScore W2419765181C147203929 @default.
- W2419765181 hasConceptScore W2419765181C153349607 @default.
- W2419765181 hasConceptScore W2419765181C154945302 @default.
- W2419765181 hasConceptScore W2419765181C35527583 @default.
- W2419765181 hasConceptScore W2419765181C41008148 @default.
- W2419765181 hasConceptScore W2419765181C44154836 @default.
- W2419765181 hasConceptScore W2419765181C47822265 @default.
- W2419765181 hasConceptScore W2419765181C558565934 @default.
- W2419765181 hasConceptScore W2419765181C73301696 @default.
- W2419765181 hasConceptScore W2419765181C80444323 @default.
- W2419765181 hasLocation W24197651811 @default.
- W2419765181 hasOpenAccess W2419765181 @default.
- W2419765181 hasPrimaryLocation W24197651811 @default.
- W2419765181 hasRelatedWork W1482155350 @default.
- W2419765181 hasRelatedWork W1494199633 @default.
- W2419765181 hasRelatedWork W1499997116 @default.
- W2419765181 hasRelatedWork W1788367161 @default.
- W2419765181 hasRelatedWork W1987734880 @default.
- W2419765181 hasRelatedWork W2006325844 @default.
- W2419765181 hasRelatedWork W2050056314 @default.
- W2419765181 hasRelatedWork W2074782626 @default.
- W2419765181 hasRelatedWork W2080316200 @default.
- W2419765181 hasRelatedWork W2097309823 @default.
- W2419765181 hasRelatedWork W2119975446 @default.
- W2419765181 hasRelatedWork W2130664212 @default.
- W2419765181 hasRelatedWork W2153675518 @default.
- W2419765181 hasRelatedWork W2157508806 @default.
- W2419765181 hasRelatedWork W2162647317 @default.
- W2419765181 hasRelatedWork W2513732380 @default.
- W2419765181 hasRelatedWork W2560415449 @default.
- W2419765181 hasRelatedWork W2566153859 @default.
- W2419765181 hasRelatedWork W2950940436 @default.
- W2419765181 hasRelatedWork W3140736310 @default.
- W2419765181 isParatext "false" @default.
- W2419765181 isRetracted "false" @default.
- W2419765181 magId "2419765181" @default.
- W2419765181 workType "article" @default.