A verified method for solving piecewise smooth initial value problems
From MaRDI portal
Publication:5409747
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
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
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
- 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