On the public citation graph

GRKLib: a Guaranteed Runge Kutta Library

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

0 signed · 58 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.1006/jsco.2001.0494openalex-snapshot

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

inferredcites →https://doi.org/10.1007/3-540-60045-0_53openalex-snapshot

Algorithmic analysis of nonlinear hybrid systems

inferredcites →https://doi.org/10.1007/978-1-4757-2272-7openalex-snapshot

Introduction to Numerical Analysis

inferredcites →https://doi.org/10.1007/978-1-4757-3108-8openalex-snapshot

Nonlinear Systems: Analysis, Stability, and Control

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

Static Analysis-Based Validation of Floating-Point Computations

inferredcites →https://doi.org/10.1007/978-3-540-30579-8_4openalex-snapshot

An Overview of Semantics for the Validation of Numerical Programs

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

PROFIL/BIAS—A fast interval library

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

On the remainder of the runge-kutta formula in the theory of ordinary differential equations

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.1023/b:numa.0000049466.96588.a6openalex-snapshot

Guaranteed Nonlinear State Estimator for Cooperative Systems

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

Interval Tools for ODEs and DAEs

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

Comparing Numerical Methods for Ordinary Differential Equations

inferredcites →https://doi.org/10.1145/355993.355995openalex-snapshot

Solving Ordinary Differential Equations Using Taylor Series

inferredcites →https://doi.org/10.2307/2007454openalex-snapshot

Introduction to Numerical Analysis.

inferredcites →https://doi.org/10.2307/2008600openalex-snapshot

The Numerical Analysis of Ordinary Differential Equations; Runge-Kutta and General Linear Methods.

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-3-030-23703-5_6openalex-snapshot

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_24openalex-snapshot

Cosimulation-Based Control Synthesis

inferred← citeshttps://doi.org/10.1007/978-3-031-85288-6_4openalex-snapshot

Symbolic Computation of Local Truncation Error for Approximate B-Series-Based Validated Simulation

inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_25openalex-snapshot

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells

inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_26openalex-snapshot

Parsimonious, Simulation Based Verification of Linear Systems

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-78739-6_5openalex-snapshot

A Hybrid Denotational Semantics for Hybrid Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_46openalex-snapshot

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment

inferred← citeshttps://doi.org/10.1007/978-3-642-03237-0_9openalex-snapshot

Proving the Correctness of the Implementation of a Control-Command Algorithm

inferred← citeshttps://doi.org/10.1007/978-3-642-35182-2_8openalex-snapshot

Linear Approximation of Continuous Systems with Trapezoid Step Functions

inferred← citeshttps://doi.org/10.1007/978-3-642-38088-4_8openalex-snapshot

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

inferred← citeshttps://doi.org/10.1007/s10270-020-00858-7openalex-snapshot

Guaranteed master for interval-based cosimulation

inferred← citeshttps://doi.org/10.1007/s10703-017-0305-8openalex-snapshot

An improved algorithm for the control synthesis of nonlinear sampled switched systems

inferred← citeshttps://doi.org/10.1007/s10817-023-09686-yopenalex-snapshot

Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods

inferred← citeshttps://doi.org/10.1007/s11075-023-01697-5openalex-snapshot

Validated B-series and Runge-Kutta pairs

inferred← citeshttps://doi.org/10.1016/j.cl.2015.04.002openalex-snapshot

The abstract domain of Trapezoid Step Functions

inferred← citeshttps://doi.org/10.1016/j.nahs.2016.05.005openalex-snapshot

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

inferred← citeshttps://doi.org/10.1109/arith.2017.22openalex-snapshot

Round-off Error Analysis of Explicit One-Step Numerical Integration Methods

inferred← citeshttps://doi.org/10.1109/icess.2009.80openalex-snapshot

Abstract Simulation: A Static Analysis of Simulink Models

inferred← citeshttps://doi.org/10.1109/icess.2009.91openalex-snapshot

In Pursuit of Real Answers

inferred← citeshttps://doi.org/10.1109/lics.2010.44openalex-snapshot

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction

inferred← citeshttps://doi.org/10.1109/rsp.2012.6380694openalex-snapshot

HySon: Set-based simulation of hybrid systems

inferred← citeshttps://doi.org/10.1109/rtss.2009.26openalex-snapshot

Robustness of Model-Based Simulations

inferred← citeshttps://doi.org/10.1109/rtss.2015.28openalex-snapshot

Analyzing Real Time Linear Control Systems Using Software Verification

inferred← citeshttps://doi.org/10.1109/snr.2016.7479377openalex-snapshot

Control of nonlinear switched systems based on validated simulation

inferred← citeshttps://doi.org/10.1109/synasc.2011.52openalex-snapshot

RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

inferred← citeshttps://doi.org/10.1109/tac.2019.2913711openalex-snapshot

Over-Approximation of Fluid Models

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

Computing bounded reach sets from sampled simulation traces

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

Proofs from simulations and modular annotations

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

Proving abstractions of dynamical systems through numerical simulations

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

HyLAA

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

Improving validated computation of Viability Kernels

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

Abstract domains for constraint programming with differential equations

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

ABS: A formally correct software tool for space-efficient symbolic synthesis

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.14232/actacyb.24.3.2020.10openalex-snapshot

Optimal Switching Instants for the Control of Hybrid Systems

inferred← citeshttps://doi.org/10.23919/acc.2018.8431304openalex-snapshot

Reliable NonLinear Model-Predictive Control via Validated Simulation

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

Under the Hood of a Stand-Alone Lagrangian Reachability Tool

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

Set-Based B-Series

inferred← citeshttps://doi.org/10.48550/arxiv.1401.1313openalex-snapshot

Proving Abstractions of Dynamical Systems through Numerical Simulations

inferred← citeshttps://doi.org/10.54337/aau779529764openalex-snapshot

Safe, Optimal and Compact Strategies for Cyber Physical Systems

inferred← citeshttps://doi.org/10.70675/7f5a49e7z0717z4fb9zb637z67b60612438copenalex-snapshot

Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante

inferred← citeshttps://doi.org/10.70675/d776add6z1077z4370zb245z8c88f0ecce30openalex-snapshot

Guaranteed control synthesis for switched space-time dynamical systems

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.