Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041657135> ?p ?o ?g. }
- W2041657135 endingPage "747" @default.
- W2041657135 startingPage "731" @default.
- W2041657135 abstract "Abstract In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview of possibilities to formulate non-smooth problems and point out connections between the traditional non-smooth theory and interval analysis. Moreover, we summarize already existing verified methods for solving initial value problems with non-smooth (in fact, even not absolutely continuous) right-hand sides and propose a way of handling a certain practically relevant subclass of such systems. We implement the approach for the solver VALENCIA-IVP by introducing into it a specialized template for enclosing the first-order derivatives of non-smooth functions. We demonstrate the applicability of our technique using a mechanical system model with friction and hysteresis. We conclude the paper by giving a perspective on future research directions in this area." @default.
- W2041657135 created "2016-06-24" @default.
- W2041657135 creator A5066696006 @default.
- W2041657135 creator A5074026061 @default.
- W2041657135 creator A5088498976 @default.
- W2041657135 date "2013-12-01" @default.
- W2041657135 modified "2023-09-26" @default.
- W2041657135 title "A verified method for solving piecewise smooth initial value problems" @default.
- W2041657135 cites W1551916084 @default.
- W2041657135 cites W1552277675 @default.
- W2041657135 cites W1566333201 @default.
- W2041657135 cites W1592648094 @default.
- W2041657135 cites W1593811304 @default.
- W2041657135 cites W1604594753 @default.
- W2041657135 cites W161478465 @default.
- W2041657135 cites W1633784893 @default.
- W2041657135 cites W174370412 @default.
- W2041657135 cites W1971651546 @default.
- W2041657135 cites W1983165091 @default.
- W2041657135 cites W1990733120 @default.
- W2041657135 cites W1995945562 @default.
- W2041657135 cites W2005513868 @default.
- W2041657135 cites W2006705367 @default.
- W2041657135 cites W2014759361 @default.
- W2041657135 cites W2033373083 @default.
- W2041657135 cites W2042445987 @default.
- W2041657135 cites W2051480827 @default.
- W2041657135 cites W2052883072 @default.
- W2041657135 cites W2056471782 @default.
- W2041657135 cites W2060784582 @default.
- W2041657135 cites W2060924166 @default.
- W2041657135 cites W2061679742 @default.
- W2041657135 cites W2071373521 @default.
- W2041657135 cites W2111546354 @default.
- W2041657135 cites W2128187386 @default.
- W2041657135 cites W2129480103 @default.
- W2041657135 cites W2131798279 @default.
- W2041657135 cites W2138623838 @default.
- W2041657135 cites W2152383153 @default.
- W2041657135 cites W2164353654 @default.
- W2041657135 cites W2340939701 @default.
- W2041657135 cites W2395846212 @default.
- W2041657135 cites W2483775066 @default.
- W2041657135 cites W2500877924 @default.
- W2041657135 cites W2593063709 @default.
- W2041657135 cites W2621250610 @default.
- W2041657135 cites W2756509013 @default.
- W2041657135 cites W2809729584 @default.
- W2041657135 cites W2912280122 @default.
- W2041657135 cites W2963701132 @default.
- W2041657135 cites W2990556914 @default.
- W2041657135 cites W58942338 @default.
- W2041657135 cites W633708014 @default.
- W2041657135 cites W64937335 @default.
- W2041657135 doi "https://doi.org/10.2478/amcs-2013-0055" @default.
- W2041657135 hasPublicationYear "2013" @default.
- W2041657135 type Work @default.
- W2041657135 sameAs 2041657135 @default.
- W2041657135 citedByCount "4" @default.
- W2041657135 countsByYear W20416571352013 @default.
- W2041657135 countsByYear W20416571352015 @default.
- W2041657135 countsByYear W20416571352016 @default.
- W2041657135 crossrefType "journal-article" @default.
- W2041657135 hasAuthorship W2041657135A5066696006 @default.
- W2041657135 hasAuthorship W2041657135A5074026061 @default.
- W2041657135 hasAuthorship W2041657135A5088498976 @default.
- W2041657135 hasBestOaLocation W20416571351 @default.
- W2041657135 hasConcept C11413529 @default.
- W2041657135 hasConcept C119857082 @default.
- W2041657135 hasConcept C126255220 @default.
- W2041657135 hasConcept C134306372 @default.
- W2041657135 hasConcept C164660894 @default.
- W2041657135 hasConcept C26955809 @default.
- W2041657135 hasConcept C2776291640 @default.
- W2041657135 hasConcept C2778770139 @default.
- W2041657135 hasConcept C28826006 @default.
- W2041657135 hasConcept C33923547 @default.
- W2041657135 hasConcept C41008148 @default.
- W2041657135 hasConcept C55439883 @default.
- W2041657135 hasConceptScore W2041657135C11413529 @default.
- W2041657135 hasConceptScore W2041657135C119857082 @default.
- W2041657135 hasConceptScore W2041657135C126255220 @default.
- W2041657135 hasConceptScore W2041657135C134306372 @default.
- W2041657135 hasConceptScore W2041657135C164660894 @default.
- W2041657135 hasConceptScore W2041657135C26955809 @default.
- W2041657135 hasConceptScore W2041657135C2776291640 @default.
- W2041657135 hasConceptScore W2041657135C2778770139 @default.
- W2041657135 hasConceptScore W2041657135C28826006 @default.
- W2041657135 hasConceptScore W2041657135C33923547 @default.
- W2041657135 hasConceptScore W2041657135C41008148 @default.
- W2041657135 hasConceptScore W2041657135C55439883 @default.
- W2041657135 hasIssue "4" @default.
- W2041657135 hasLocation W20416571351 @default.
- W2041657135 hasOpenAccess W2041657135 @default.
- W2041657135 hasPrimaryLocation W20416571351 @default.
- W2041657135 hasRelatedWork W1170144932 @default.
- W2041657135 hasRelatedWork W1501782796 @default.
- W2041657135 hasRelatedWork W1974580502 @default.