On the public citation graph
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
0 signed · 41 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/978-3-319-02444-8_37openalex-snapshot
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
inferredcites →https://doi.org/10.1007/978-3-319-41528-4_29openalex-snapshot
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
inferredcites →https://doi.org/10.1007/978-3-319-98935-8_2openalex-snapshot
Constraint-Based Framework for Reasoning with Differential Equations
inferredcites →https://doi.org/10.1007/978-3-540-78929-1_16openalex-snapshot
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_18openalex-snapshot
Flow*: An Analyzer for Non-linear Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-662-46681-0_3openalex-snapshot
Verified Reachability Analysis of Continuous Systems
inferredcites →https://doi.org/10.1007/s11786-014-0202-0openalex-snapshot
VIBes: A Visualizer for Intervals and Boxes
inferredcites →https://doi.org/10.1080/10556788.2018.1459620openalex-snapshot
Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
inferredcites →https://doi.org/10.1109/cdc.2008.4738704openalex-snapshot
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
inferredcites →https://doi.org/10.1109/rtss.2012.70openalex-snapshot
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
inferredcites →https://doi.org/10.1109/rtss.2016.011openalex-snapshot
Decomposed Reachability Analysis for Nonlinear Systems
inferredcites →https://doi.org/10.1145/1967701.1967717openalex-snapshot
Reachable set computation for uncertain time-varying linear systems
inferredcites →https://doi.org/10.1145/2461328.2461358openalex-snapshot
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
inferredcites →https://doi.org/10.1145/2723872.2723882openalex-snapshot
An introduction to Docker for reproducible research
inferredcites →https://doi.org/10.29007/m75bopenalex-snapshot
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
inferredcites →https://doi.org/10.29007/thb4openalex-snapshot
Verifying safety of an autonomous spacecraft rendezvous mission
inferredcites →https://doi.org/10.29007/v6g4openalex-snapshot
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
inferredcites →https://doi.org/10.29007/w19bopenalex-snapshot
Implementation of Interval Arithmetic in CORA 2016
inferredcites →https://doi.org/10.3182/20120606-3-nl-3011.00046openalex-snapshot
Computing the Evolution of Hybrid Systems Using Rigorous Function Calculus
inferredcites →https://doi.org/10.3182/20120606-3-nl-3011.00063openalex-snapshot
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus
inferredcites →https://doi.org/10.5555/1356802.1356984openalex-snapshot
Analog circuit simulation using range arithmetics
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-30942-8_10openalex-snapshot
Pegasus: A Framework for Sound Continuous Invariant Generation
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_27openalex-snapshot
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_4openalex-snapshot
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-61739-4_4openalex-snapshot
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model
inferred← citeshttps://doi.org/10.1007/978-3-030-65110-7_8openalex-snapshot
Safety and Reachability Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_22openalex-snapshot
Automating Numerical Parameters Along the Evolution of a Nonlinear System
inferred← citeshttps://doi.org/10.1007/978-3-031-67695-6_1openalex-snapshot
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
inferred← citeshttps://doi.org/10.1109/lcsys.2020.2997261openalex-snapshot
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances
inferred← citeshttps://doi.org/10.1109/tac.2020.3024348openalex-snapshot
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
inferred← citeshttps://doi.org/10.1109/tac.2021.3124188openalex-snapshot
Formal Safety Net Control Using Backward Reachability Analysis
inferred← citeshttps://doi.org/10.1109/tcst.2023.3234248openalex-snapshot
Approximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal Control
inferred← citeshttps://doi.org/10.1134/s0081543824070149openalex-snapshot
On the Error of Calculating the Reachable Values of Objective Functionals for Control Systems with Continuous and Discrete Times
inferred← citeshttps://doi.org/10.14232/actacyb.285246openalex-snapshot
Interval-Based Simulation of Zélus IVPs using DynIbex
inferred← citeshttps://doi.org/10.23919/ecc64448.2024.10590884openalex-snapshot
Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems
inferred← citeshttps://doi.org/10.48550/arxiv.2111.01312openalex-snapshot
DaDRA: A Python Library for Data-Driven Reachability Analysis
inferred← citeshttps://doi.org/10.5445/ir/1000174214openalex-snapshot
Pegasus: sound continuous invariant generation
inferred← citeshttps://doi.org/10.70675/253a29c1z7c79z4e3azb81eza30de789df29openalex-snapshot
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof
showing the first 18 of 19 · page through all 19
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.