A verified method for solving piecewise smooth initial value problems

DOI10.2478/amcs-2013-0055zbMath1287.65056OpenAlexW2041657135MaRDI QIDQ5409747

Ekaterina Auer, Andreas Rauh, Stefan Kiel

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

zbMATH Keywords

hysteresisnon-smooth systemsnumerical examplesfrictioninitial value problemsinterval methods

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Friction in solid mechanics (74M10) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)

Related Items (2)

Set-membership identifiability of nonlinear models and related parameter estimation properties ⋮ Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

Uses Software

• INTOPT_90
• ValEncIA-IVP
• ValEncIA

Cites Work

• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• A high accuracy method for solving ODEs with discontinuous right-hand side
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• One-step methods of any order for ordinary differential equations with discontinuous right-hand sides
• Rigorous global search: continuous problems
• Non-smooth dynamical systems
• Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
• Piecewise-smooth dynamical systems. Theory and applications
• Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
• A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
• An LPV pole-placement approach to friction compensation as an FTC problem
• An analytical and numerical approach to a bilateral contact problem with nonmonotone friction
• Discrete Event Simulation of Hybrid Systems
• Finite Time Stability and Robust Control Synthesis of Uncertain Switched Systems
• Handbook of Hybrid Systems Control
• Topology optimization of quasistatic contact problems
• Mean Value Theorems for Vector Valued Functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A verified method for solving piecewise smooth initial value problems