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

zbMATH Keywords

hysteresisnumerical examplesinitial value problemsfrictioninterval methodsnon-smooth systems

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• Title not available (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 4084894 (Why is no real title available?)
• scientific article; zbMATH DE number 1973375 (Why is no real title available?)
• scientific article; zbMATH DE number 2035082 (Why is no real title available?)
• scientific article; zbMATH DE number 1543282 (Why is no real title available?)
• scientific article; zbMATH DE number 815437 (Why is no real title available?)
• scientific article; zbMATH DE number 852358 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• scientific article; zbMATH DE number 3391211 (Why is no real title available?)
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• A high accuracy method for solving ODEs with discontinuous right-hand side
• 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
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Discrete Event Simulation of Hybrid Systems
• Finite Time Stability and Robust Control Synthesis of Uncertain Switched Systems
• Handbook of Hybrid Systems Control
• Introduction to the theory of differential inclusions
• Mean Value Theorems for Vector Valued Functions
• Non-smooth dynamical systems
• Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
• One-step methods of any order for ordinary differential equations with discontinuous right-hand sides
• Piecewise-smooth dynamical systems. Theory and applications
• Rigorous global search: continuous problems
• Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
• Topology optimization of quasistatic contact problems

Cited in

(4)

• Set-membership identifiability of nonlinear models and related parameter estimation properties
• VERICOMP: A system to compare and assess verified IVP solvers
• Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
• A verified inexact implicit Runge-Kutta method for nonsmooth ODEs

Describes a project that uses

Uses Software

• INTOPT_90
• ValEncIA-IVP
• ValEncIA

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)