Publication:4949367
From MaRDI portal
zbMath1130.65312MaRDI QIDQ4949367
Nedialko S. Nedialkov, Kenneth R. Jackson
Publication date: 8 May 2000
65G40: General methods in interval analysis
65L05: Numerical methods for initial value problems involving ordinary differential equations
Related Items
Robust Fault Detection with a Distributed and Decentralized State-Set Observer, Uncertain Method for Optimal Control Problems With Uncertainties Using Chebyshev Inclusion Functions, 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, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, A survey of shadowing methods for numerical solutions of ordinary differential equations, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Recent advances in a rigorous computation of Poincaré maps, Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty, 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