scientific article; zbMATH DE number 1440924
From MaRDI portal
Publication:4949367
zbMath1130.65312MaRDI QIDQ4949367
Nedialko S. Nedialkov, Kenneth R. Jackson
Publication date: 8 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Related Items
Efficient polyhedral enclosures for the reachable set of nonlinear control systems, Recent advances in a rigorous computation of Poincaré maps, Robust Fault Detection with a Distributed and Decentralized State-Set Observer, Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP, Validated solutions of initial value problems for parametric ODEs, 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, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems, Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties, Set membership state and parameter estimation for systems described by nonlinear differential equations, A survey of shadowing methods for numerical solutions of ordinary differential equations, Interval observer design for consistency checks of nonlinear continuous-time systems, Computing reachable sets for uncertain nonlinear monotone systems, Uncertain Method for Optimal Control Problems With Uncertainties Using Chebyshev Inclusion Functions, Rigorous parameter reconstruction for differential equations with noisy data, Abstract Interpretation of the Physical Inputs of Embedded Programs, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues, Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information, Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty, Interval Methods for Optimal Control, Interval analysis: Theory and applications, Some recent advances in validated methods for IVPs for ODEs
Uses Software
