A verified method for solving piecewise smooth initial value problems
DOI10.2478/AMCS-2013-0055zbMATH Open1287.65056OpenAlexW2041657135MaRDI QIDQ5409747FDOQ5409747
Authors: Ekaterina Auer, Stefan Kiel, Andreas Rauh 
Publication date: 14 April 2014
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/amcs-2013-0055
Recommendations
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
- Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- scientific article; zbMATH DE number 4084894
- On Taylor Model Based Integration of ODEs
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Friction in solid mechanics (74M10) Algorithms with automatic result verification (65G20)
Cites Work
- Rigorous global search: continuous problems
- Non-smooth dynamical systems
- Piecewise-smooth dynamical systems. Theory and applications
- Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
- Title not available (Why is that?)
- Introduction to the theory of differential inclusions
- An analytical and numerical approach to a bilateral contact problem with nonmonotone friction
- Title not available (Why is that?)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Finite Time Stability and Robust Control Synthesis of Uncertain Switched Systems
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Title not available (Why is that?)
- Handbook of Hybrid Systems Control
- Title not available (Why is that?)
- One-step methods of any order for ordinary differential equations with discontinuous right-hand sides
- Title not available (Why is that?)
- Mean Value Theorems for Vector Valued Functions
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
- Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
- A high accuracy method for solving ODEs with discontinuous right-hand side
- Title not available (Why is that?)
- Topology optimization of quasistatic contact problems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
- Discrete Event Simulation of Hybrid Systems
- An LPV pole-placement approach to friction compensation as an FTC problem
- Title not available (Why is that?)
Cited In (4)
- Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
- VERICOMP: A system to compare and assess verified IVP solvers
- Set-membership identifiability of nonlinear models and related parameter estimation properties
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
Uses Software
This page was built for publication: A verified method for solving piecewise smooth initial value problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5409747)
