A verified method for solving piecewise smooth initial value problems

DOI10.2478/AMCS-2013-0055MaRDI QIDQ5409747zbMATH OpenOpenAlexFDO

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

frictionhysteresisinitial value problemsinterval methodsnon-smooth systemsnumerical examples

Mathematics Subject Classification ID

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

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

• A high accuracy method for solving ODEs with discontinuous right-hand side
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
• A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
• An analytical and numerical approach to a bilateral contact problem with nonmonotone friction
• An LPV pole-placement approach to friction compensation as an FTC problem
• 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
• scientific article; zbMATH DE number 1595639 (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?)
• 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)

• A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
• 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

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)