On the public citation graph

Interval Tools for ODEs and DAEs

https://doi.org/10.1109/scan.2006.28

0 signed · 92 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11558958_131openalex-snapshot

On the Efficient Generation of Taylor Expansions for DAE Solutions by Automatic Differentiation

inferredcites →https://doi.org/10.1007/978-3-540-24738-8_6openalex-snapshot

Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context

inferredcites →https://doi.org/10.1007/978-3-540-24738-8_8openalex-snapshot

Interval Algorithms in Modeling of Multibody Systems

inferredcites →https://doi.org/10.1007/978-3-540-85521-7_1openalex-snapshot

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

inferredcites →https://doi.org/10.1007/978-3-7091-6282-8_13openalex-snapshot

A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations

inferredcites →https://doi.org/10.1007/978-94-017-1247-7_23openalex-snapshot

An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation

inferredcites →https://doi.org/10.1007/bf02307379openalex-snapshot

PROFIL/BIAS—A fast interval library

inferredcites →https://doi.org/10.1007/s10543-005-0019-yopenalex-snapshot

Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients

inferredcites →https://doi.org/10.1007/s10543-006-0106-8openalex-snapshot

Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian

inferredcites →https://doi.org/10.1016/0898-1221(94)00193-6openalex-snapshot

ATOMFT: solving ODEs and DAEs using Taylor series

inferredcites →https://doi.org/10.1016/c2009-0-21898-8openalex-snapshot

Introduction to Interval Computation

inferredcites →https://doi.org/10.1016/j.amc.2004.02.015openalex-snapshot

Performance of the Taylor series method for ODEs/DAEs

inferredcites →https://doi.org/10.1016/j.cam.2005.07.034openalex-snapshot

Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process

inferredcites →https://doi.org/10.1016/j.nima.2005.11.035openalex-snapshot

Long-term stability of the Tevatron by verified global optimization

inferredcites →https://doi.org/10.1016/s0096-3003(98)10083-8openalex-snapshot

Validated solutions of initial value problems for ordinary differential equations

inferredcites →https://doi.org/10.1016/s0168-9274(01)00155-6openalex-snapshot

Some recent advances in validated methods for IVPs for ODEs

inferredcites →https://doi.org/10.1016/s0362-546x(01)00167-5openalex-snapshot

Verified integration of dynamics in the solar system

inferredcites →https://doi.org/10.1021/ie0513907openalex-snapshot

Deterministic Global Optimization for Parameter Estimation of Dynamic Systems

inferredcites →https://doi.org/10.1023/a:1009936607335openalex-snapshot

An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation

inferredcites →https://doi.org/10.1023/a:1014798618404openalex-snapshot

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE

inferredcites →https://doi.org/10.1023/a:1019150322187openalex-snapshot

Solving high-index DAEs by Taylor series

inferredcites →https://doi.org/10.1023/a:1021998624799openalex-snapshot

A Simple Structural Analysis Method for DAEs

inferredcites →https://doi.org/10.1023/a:1024467732637openalex-snapshot

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

inferredcites →https://doi.org/10.1080/16864360.2004.10738287openalex-snapshot

Surface to Surface Intersections

inferredcites →https://doi.org/10.1088/0305-4470/36/13/310openalex-snapshot

Eigenvalue bounds for the singular Sturm Liouville problem with a complex potential

inferredcites →https://doi.org/10.1109/38.180122openalex-snapshot

Surface-to-surface intersections

inferredcites →https://doi.org/10.1137/030601892openalex-snapshot

Sensitivity Analysis of ODES/DAES Using the Taylor Series Method

inferredcites →https://doi.org/10.1137/050638448openalex-snapshot

On Taylor Model Based Integration of ODEs

inferredcites →https://doi.org/10.1137/0709052openalex-snapshot

Comparing Numerical Methods for Ordinary Differential Equations

inferredcites →https://doi.org/10.1137/0909014openalex-snapshot

The Consistent Initialization of Differential-Algebraic Systems

inferredcites →https://doi.org/10.1137/1.9781611971224openalex-snapshot

Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations

inferredcites →https://doi.org/10.1137/s0036142901399100openalex-snapshot

Rigorous Shadowing of Numerical Solutions of Ordinary Differential Equations by Containment

inferredcites →https://doi.org/10.5555/1217875.1217914openalex-snapshot

Tracing surface intersections with validated ODE system solver

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-0-387-95857-6_22openalex-snapshot

Interval Methods for Optimal Control

inferred← citeshttps://doi.org/10.1007/978-3-031-21222-2_9openalex-snapshot

Verified Numerical Methods for Ordinary Differential Equations

inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_9openalex-snapshot

Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations

inferred← citeshttps://doi.org/10.1007/978-3-319-31769-4_19openalex-snapshot

Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

inferred← citeshttps://doi.org/10.1007/978-3-319-63387-9_19openalex-snapshot

Lagrangian Reachabililty

inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_24openalex-snapshot

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes

inferred← citeshttps://doi.org/10.1007/978-3-642-01591-5_11openalex-snapshot

Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_1openalex-snapshot

Implementing a Rigorous ODE Solver Through Literate Programming

inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_3openalex-snapshot

Structural Analysis for the Design of Reliable Controllers and State Estimators for Continuous-Time Dynamical Systems with Uncertainties

inferred← citeshttps://doi.org/10.1007/978-3-642-16135-3_17openalex-snapshot

Interval Methods for Verification and Implementation of Robust Controllers

inferred← citeshttps://doi.org/10.1007/s00500-013-1007-9openalex-snapshot

Error bounds for initial value problems by optimization

inferred← citeshttps://doi.org/10.1007/s10817-018-9463-7openalex-snapshot

Formally Verified Approximations of Definite Integrals

inferred← citeshttps://doi.org/10.1007/s11786-014-0205-xopenalex-snapshot

Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems

inferred← citeshttps://doi.org/10.1007/s11786-014-0209-6openalex-snapshot

Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions

inferred← citeshttps://doi.org/10.1016/j.amc.2012.03.094openalex-snapshot

Status of the differential transformation method

inferred← citeshttps://doi.org/10.1016/j.apnum.2011.01.009openalex-snapshot

Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs

inferred← citeshttps://doi.org/10.1016/j.camwa.2013.03.008openalex-snapshot

Guaranteed computation methods for compartmental in-series models under uncertainty

inferred← citeshttps://doi.org/10.1016/j.cmpb.2012.05.012openalex-snapshot

On the prediction of glucose concentration under intra-patient variability in type 1 diabetes: A monotone systems approach

inferred← citeshttps://doi.org/10.1016/j.entcs.2020.06.002openalex-snapshot

Tropical Abstraction of Biochemical Reaction Networks with Guarantees

inferred← citeshttps://doi.org/10.1016/j.mbs.2015.06.012openalex-snapshot

Probability bounds analysis for nonlinear population ecology models

inferred← citeshttps://doi.org/10.1016/j.mcm.2011.11.031openalex-snapshot

On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty

inferred← citeshttps://doi.org/10.1016/j.rinam.2020.100104openalex-snapshot

Interval versions for special kinds of explicit linear multistep methods

inferred← citeshttps://doi.org/10.1016/j.scico.2013.02.007openalex-snapshot

Reachability analysis of complex planar hybrid systems

inferred← citeshttps://doi.org/10.1109/acc.2012.6314741openalex-snapshot

Trajectory enclosures for nonlinear systems with uncertain initial conditions and parameters

inferred← citeshttps://doi.org/10.1109/acssc.2010.5757549openalex-snapshot

Estimation of component concentrations in biological systems via Interval Analysis

inferred← citeshttps://doi.org/10.1109/cdc.2018.8619647openalex-snapshot

Tight Continuous-Time Reachtubes for Lagrangian Reachability

inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9304042openalex-snapshot

Lagrangian Reachtubes: The Next Generation

inferred← citeshttps://doi.org/10.1109/mmar.2013.6669913openalex-snapshot

Verified simulation of control systems with interval parameters using an exponential state enclosure technique

inferred← citeshttps://doi.org/10.1109/mmar.2015.7283959openalex-snapshot

Experimental comparison of interval-based parameter identification procedures for uncertain ODEs with non-smooth right-hand sides

inferred← citeshttps://doi.org/10.1109/mmar.2017.8046929openalex-snapshot

Interval methods for the implementation and verification of robust gain scheduling controllers

inferred← citeshttps://doi.org/10.1109/mmar.2018.8486085openalex-snapshot

State-Space Transformations of Uncertain Systems with Purely Real and Conjugate-Complex Eigenvalues into a Cooperative Form

inferred← citeshttps://doi.org/10.1109/mmar.2018.8486120openalex-snapshot

Linear Matrix Inequality Techniques for the Optimization of Interval Observers for Spatially Distributed Heating Systems

inferred← citeshttps://doi.org/10.1109/mmar.2019.8864648openalex-snapshot

Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems

inferred← citeshttps://doi.org/10.1109/mmar.2019.8864673openalex-snapshot

Application-Based Discussion of Verified Simulations of Interval Enclosure Techniques

inferred← citeshttps://doi.org/10.1109/mmar49549.2021.9528439openalex-snapshot

Application-Based Analysis of Transformations of Uncertain Dynamical Systems Into a Cooperative Form

inferred← citeshttps://doi.org/10.1109/scan.2006.20openalex-snapshot

GRKLib: a Guaranteed Runge Kutta Library

inferred← citeshttps://doi.org/10.1109/trustcom.2011.156openalex-snapshot

Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions

inferred← citeshttps://doi.org/10.11145/j.biomath.2012.10.043openalex-snapshot

On the Computation of Output Bounds for Compartmental In-Series Models under Parametric Uncertainty

inferred← citeshttps://doi.org/10.1134/s1064230710060018openalex-snapshot

Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II

inferred← citeshttps://doi.org/10.1145/3649438openalex-snapshot

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models

inferred← citeshttps://doi.org/10.12921/cmst.2016.0000048openalex-snapshot

Solving the Generalized Poisson Equation in Proper and Directed Interval Arithmetic

inferred← citeshttps://doi.org/10.14232/actacyb.24.3.2020.11openalex-snapshot

Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers

inferred← citeshttps://doi.org/10.14232/actacyb.24.3.2020.13openalex-snapshot

From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers

inferred← citeshttps://doi.org/10.14232/actacyb.285660openalex-snapshot

Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems

inferred← citeshttps://doi.org/10.14232/actacyb.290904openalex-snapshot

Verified Integration of Differential Equations with Discrete Delay

inferred← citeshttps://doi.org/10.14232/actacyb.293871openalex-snapshot

Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures

inferred← citeshttps://doi.org/10.1515/auto-2017-0117openalex-snapshot

Intervallmethoden für Identifikation, Beobachter- und Reglersynthese von Finite-Volumen-Modellen thermischer Prozesse

inferred← citeshttps://doi.org/10.2478/v10006-009-0032-4openalex-snapshot

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

inferred← citeshttps://doi.org/10.2478/v10006-009-0035-1openalex-snapshot

Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties

inferred← citeshttps://doi.org/10.2478/v10006-009-0039-xopenalex-snapshot

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

inferred← citeshttps://doi.org/10.24963/ijcai.2019/791openalex-snapshot

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis

inferred← citeshttps://doi.org/10.2514/1.57888openalex-snapshot

Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation

inferred← citeshttps://doi.org/10.25365/thesis.15423openalex-snapshot

Optimization techniques for error bounds of ODEs

inferred← citeshttps://doi.org/10.29007/w94nopenalex-snapshot

Non-linear Continuous Systems for Safety Verification

inferred← citeshttps://doi.org/10.3389/fcteg.2022.785795openalex-snapshot

An Ellipsoidal Predictor–Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors

inferred← citeshttps://doi.org/10.3390/axioms10020088openalex-snapshot

Analyzing Uncertain Dynamical Systems after State-Space Transformations into Cooperative Form: Verification of Control and Fault Diagnosis

inferred← citeshttps://doi.org/10.4204/eptcs.331.2openalex-snapshot

Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis

inferred← citeshttps://doi.org/10.4995/thesis/10251/54121openalex-snapshot

Methods for the treatment of uncertainty in dynamical systems: Application to diabetes

inferred← citeshttps://doi.org/10.70675/00613134z20a4z4701z908azd9b6563dae18openalex-snapshot

Abstractions of biochemical reaction networks

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.