On the public citation graph
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers
0 signed · 64 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11558958_8openalex-snapshot
Performance of Taylor Model Methods for Validated Integration of ODEs
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/bf02307379openalex-snapshot
PROFIL/BIAS—A fast interval library
inferredcites →https://doi.org/10.1016/j.cam.2005.07.029openalex-snapshot
Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
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
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4806889openalex-extracted
Integral Algebra for Simulating Dynamical Systems with Interval Uncertaintiesdiv.Title { Font-Size: X-Large; Margin-Bottom: 1ex; Text-Align: Center; }
inferred← citeshttps://doi.org/10.1002/aic.12278openalex-snapshot
Probability bounds analysis for nonlinear dynamic process models
inferred← citeshttps://doi.org/10.1002/pamm.200700022openalex-snapshot
Extensions of ValEncIA‐IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization
inferred← citeshttps://doi.org/10.1002/pamm.200700788openalex-snapshot
Interval techniques for enclosures of regions of reachability and controllability and for guaranteed state and parameter estimation of dynamical systems
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-319-29975-4_10openalex-snapshot
Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-31769-4_20openalex-snapshot
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues
inferred← citeshttps://doi.org/10.1007/978-3-319-77489-3_18openalex-snapshot
Robust Optimization for MPC
inferred← citeshttps://doi.org/10.1007/978-3-540-69937-8_14openalex-snapshot
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
inferred← citeshttps://doi.org/10.1007/978-3-540-78163-9_8openalex-snapshot
Abstract Interpretation of the Physical Inputs of Embedded Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-85521-7_1openalex-snapshot
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
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-12110-4_87openalex-snapshot
Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties
inferred← citeshttps://doi.org/10.1007/978-3-642-12110-4_89openalex-snapshot
Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Models of Blood Cell Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_10openalex-snapshot
Two Approaches for Guaranteed State Estimation of Nonlinear Continuous-Time Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_14openalex-snapshot
Verified Analysis of a Model for Stance Stabilization
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_4openalex-snapshot
Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_7openalex-snapshot
Verified Global Optimization for Estimating the Parameters of Nonlinear Models
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/s00607-011-0178-4openalex-snapshot
VERICOMP: a system to compare and assess verified IVP solvers
inferred← citeshttps://doi.org/10.1007/s10898-014-0235-6openalex-snapshot
Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
inferred← citeshttps://doi.org/10.1007/s11075-014-9889-xopenalex-snapshot
Rigorous integration of non-linear ordinary differential equations in chebyshev basis
inferred← citeshttps://doi.org/10.1007/s11075-023-01725-4openalex-snapshot
Reducing the truncation error in Taylor model multiplication
inferred← citeshttps://doi.org/10.1007/s41066-018-00147-1openalex-snapshot
Interval methods for robust gain scheduling controllers
inferred← citeshttps://doi.org/10.1016/j.apm.2009.06.019openalex-snapshot
Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110502openalex-snapshot
Lie symmetries applied to interval integration
inferred← citeshttps://doi.org/10.1016/j.cam.2019.112511openalex-snapshot
A Taylor model toolbox for solving ODEs implemented in MATLAB/INTLAB
inferred← citeshttps://doi.org/10.1016/j.ces.2016.12.021openalex-snapshot
Interval enclosures for reachable sets of chemical kinetic flow systems. Part 2: Direct-bounding method
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2011.01.031openalex-snapshot
Convex/concave relaxations of parametric ODEs using Taylor models
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.08.163openalex-snapshot
Continuous-Time Enclosures for Uncertain Implicit Differential Equations
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.1939openalex-snapshot
Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetic
inferred← citeshttps://doi.org/10.1016/j.ijar.2024.109353openalex-snapshot
Integral algebra for simulating dynamical systems with interval uncertainties
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.nahs.2015.10.004openalex-snapshot
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
inferred← citeshttps://doi.org/10.1080/00207179.2019.1708966openalex-snapshot
Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer
inferred← citeshttps://doi.org/10.1080/13873954.2011.642384openalex-snapshot
Parameter identification and observer-based control for distributed heating systems– the basis for temperature control of solid oxide fuel cell stacks
inferred← citeshttps://doi.org/10.1093/imamci/dnu055openalex-snapshot
Guaranteed parameter estimation of non-linear dynamic systems using high-order bounding techniques with domain and CPU-time reduction strategies
inferred← citeshttps://doi.org/10.1109/cpsna.2013.6614258openalex-snapshot
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
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.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.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.1134/s1064230710050023openalex-snapshot
Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
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.1201/9781439809136-c6openalex-snapshot
Rigorous Propagation of Imprecise Probabilities in Process Models
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.285177openalex-snapshot
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
inferred← citeshttps://doi.org/10.1515/auto-2019-0065openalex-snapshot
Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme
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-0037-zopenalex-snapshot
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
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.29007/zzc7openalex-snapshot
Implementation of Taylor models in CORA 2018
inferred← citeshttps://doi.org/10.3182/20090819-3-pl-3002.00067openalex-snapshot
Real-Time Application of Interval Methods for Robust Control of Dynamical Systems
inferred← citeshttps://doi.org/10.3182/20100901-3-it-2016.00162openalex-snapshot
Development of a Quality Measure for the Characterization of Guaranteed Solution Sets to ODEs in Engineering
inferred← citeshttps://doi.org/10.3217/jucs-016-18-2629openalex-snapshot
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
inferred← citeshttps://doi.org/10.3390/a14030085openalex-snapshot
Transformation of Uncertain Linear Systems with Real Eigenvalues into Cooperative Form: The Case of Constant and Time-Varying Bounded Parameters
inferred← citeshttps://doi.org/10.3390/fractalfract5010017openalex-snapshot
Novel Techniques for a Verified Simulation of Fractional-Order Differential Equations
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.