Publication:4949367
From MaRDI portal
zbMath1130.65312MaRDI QIDQ4949367
Kenneth R. Jackson, Nedialko S. Nedialkov
Publication date: 8 May 2000
65G40: General methods in interval analysis
65L05: Numerical methods for initial value problems involving ordinary differential equations
Related Items
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP, Abstract Interpretation of the Physical Inputs of Embedded Programs, Efficient polyhedral enclosures for the reachable set of nonlinear control systems, Set membership state and parameter estimation for systems described by nonlinear differential equations, Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information, Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes, On multistep interval methods for solving the initial value problem, Interval modeling of dynamics for multibody systems, An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point, Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties, Interval observer design for consistency checks of nonlinear continuous-time systems, Computing reachable sets for uncertain nonlinear monotone systems, Rigorous parameter reconstruction for differential equations with noisy data, Interval analysis: Theory and applications, Some recent advances in validated methods for IVPs for ODEs, A survey of shadowing methods for numerical solutions of ordinary differential equations, Validated solutions of initial value problems for parametric ODEs, Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues, Interval Methods for Optimal Control, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
Uses Software
