Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005074233> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2005074233 endingPage "32" @default.
- W2005074233 startingPage "17" @default.
- W2005074233 abstract "This paper focuses on the formal modeling, simulation, and analysis of interacting hybrid systems that influence each otherʼs continuous behaviors. We define in the rewriting-logic-based Real-Time Maude tool a method for the numerical approximation of the continuous dynamics specified by ordinary differential equations. We adapt the Runge-Kutta-Fehlberg 4/5 method to define an adaptive-step-size technique that allows a more accurate approximation with less computational effort than fixed-step-size techniques. We also present experimental results for two thermal systems using different error tolerances." @default.
- W2005074233 created "2016-06-24" @default.
- W2005074233 creator A5052423329 @default.
- W2005074233 creator A5068015318 @default.
- W2005074233 creator A5078403066 @default.
- W2005074233 date "2011-08-01" @default.
- W2005074233 modified "2023-09-30" @default.
- W2005074233 title "Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems" @default.
- W2005074233 cites W1504007491 @default.
- W2005074233 cites W1522694098 @default.
- W2005074233 cites W1600235415 @default.
- W2005074233 cites W1604594753 @default.
- W2005074233 cites W1979754763 @default.
- W2005074233 cites W1988392294 @default.
- W2005074233 cites W1992926280 @default.
- W2005074233 cites W2006340882 @default.
- W2005074233 cites W2042601303 @default.
- W2005074233 cites W2098979034 @default.
- W2005074233 cites W2105737698 @default.
- W2005074233 cites W2106361312 @default.
- W2005074233 cites W2141303335 @default.
- W2005074233 cites W2169329060 @default.
- W2005074233 cites W2997123088 @default.
- W2005074233 cites W421502599 @default.
- W2005074233 cites W644048992 @default.
- W2005074233 cites W65013896 @default.
- W2005074233 cites W84445353 @default.
- W2005074233 doi "https://doi.org/10.1016/j.entcs.2011.07.004" @default.
- W2005074233 hasPublicationYear "2011" @default.
- W2005074233 type Work @default.
- W2005074233 sameAs 2005074233 @default.
- W2005074233 citedByCount "4" @default.
- W2005074233 countsByYear W20050742332015 @default.
- W2005074233 countsByYear W20050742332017 @default.
- W2005074233 crossrefType "journal-article" @default.
- W2005074233 hasAuthorship W2005074233A5052423329 @default.
- W2005074233 hasAuthorship W2005074233A5068015318 @default.
- W2005074233 hasAuthorship W2005074233A5078403066 @default.
- W2005074233 hasBestOaLocation W20050742331 @default.
- W2005074233 hasConcept C11413529 @default.
- W2005074233 hasConcept C119857082 @default.
- W2005074233 hasConcept C134306372 @default.
- W2005074233 hasConcept C154690210 @default.
- W2005074233 hasConcept C181582579 @default.
- W2005074233 hasConcept C199360897 @default.
- W2005074233 hasConcept C28826006 @default.
- W2005074233 hasConcept C33923547 @default.
- W2005074233 hasConcept C41008148 @default.
- W2005074233 hasConcept C48753275 @default.
- W2005074233 hasConcept C50897621 @default.
- W2005074233 hasConcept C51544822 @default.
- W2005074233 hasConcept C78045399 @default.
- W2005074233 hasConcept C80444323 @default.
- W2005074233 hasConceptScore W2005074233C11413529 @default.
- W2005074233 hasConceptScore W2005074233C119857082 @default.
- W2005074233 hasConceptScore W2005074233C134306372 @default.
- W2005074233 hasConceptScore W2005074233C154690210 @default.
- W2005074233 hasConceptScore W2005074233C181582579 @default.
- W2005074233 hasConceptScore W2005074233C199360897 @default.
- W2005074233 hasConceptScore W2005074233C28826006 @default.
- W2005074233 hasConceptScore W2005074233C33923547 @default.
- W2005074233 hasConceptScore W2005074233C41008148 @default.
- W2005074233 hasConceptScore W2005074233C48753275 @default.
- W2005074233 hasConceptScore W2005074233C50897621 @default.
- W2005074233 hasConceptScore W2005074233C51544822 @default.
- W2005074233 hasConceptScore W2005074233C78045399 @default.
- W2005074233 hasConceptScore W2005074233C80444323 @default.
- W2005074233 hasLocation W20050742331 @default.
- W2005074233 hasOpenAccess W2005074233 @default.
- W2005074233 hasPrimaryLocation W20050742331 @default.
- W2005074233 hasRelatedWork W1994950072 @default.
- W2005074233 hasRelatedWork W2005074233 @default.
- W2005074233 hasRelatedWork W2007530725 @default.
- W2005074233 hasRelatedWork W2033091931 @default.
- W2005074233 hasRelatedWork W2033160321 @default.
- W2005074233 hasRelatedWork W2033468195 @default.
- W2005074233 hasRelatedWork W2174050851 @default.
- W2005074233 hasRelatedWork W2528911914 @default.
- W2005074233 hasRelatedWork W2917062322 @default.
- W2005074233 hasRelatedWork W3158106369 @default.
- W2005074233 hasVolume "274" @default.
- W2005074233 isParatext "false" @default.
- W2005074233 isRetracted "false" @default.
- W2005074233 magId "2005074233" @default.
- W2005074233 workType "article" @default.