On the public citation graph

Parallel reachability analysis for hybrid systems

https://doi.org/10.1109/memcod.2016.7797741

0 signed · 46 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/3-540-48983-5_10openalex-snapshot

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations

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-13338-6_10openalex-snapshot

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-319-26287-1_1openalex-snapshot

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

inferredcites →https://doi.org/10.1007/978-3-319-26287-1_2openalex-snapshot

Abstraction-Based Parameter Synthesis for Multiaffine Systems

inferredcites →https://doi.org/10.1007/978-3-540-24743-2_22openalex-snapshot

Benchmarks for Hybrid Systems Verification

inferredcites →https://doi.org/10.1007/978-3-540-31954-2_19openalex-snapshot

Reachability of Uncertain Linear Systems Using Zonotopes

inferredcites →https://doi.org/10.1007/978-3-540-71070-7_15openalex-snapshot

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

inferredcites →https://doi.org/10.1007/978-3-642-02431-3openalex-snapshot

Variational Analysis

inferredcites →https://doi.org/10.1007/978-3-642-02658-4_19openalex-snapshot

Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion

inferredcites →https://doi.org/10.1007/978-3-642-02658-4_40openalex-snapshot

Reachability Analysis of Hybrid Systems Using Support Functions

inferredcites →https://doi.org/10.1007/978-3-642-22110-1_30openalex-snapshot

SpaceEx: Scalable Verification of Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-642-31759-0_12openalex-snapshot

Parallelizing the Spin Model Checker

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-642-54862-8_51openalex-snapshot

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification

inferredcites →https://doi.org/10.1007/978-3-662-46681-0_15openalex-snapshot

dReach: δ-Reachability Analysis for Hybrid Systems

inferredcites →https://doi.org/10.1007/s10009-007-0062-xopenalex-snapshot

PHAVer: algorithmic verification of hybrid systems past HyTech

inferredcites →https://doi.org/10.1007/s10009-015-0393-yopenalex-snapshot

Guided search for hybrid systems based on coarse-grained space abstractions

inferredcites →https://doi.org/10.1016/j.nahs.2009.03.002openalex-snapshot

Reachability analysis of linear systems using support functions

inferredcites →https://doi.org/10.1016/j.nahs.2010.05.010openalex-snapshot

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

inferredcites →https://doi.org/10.1016/j.tcs.2009.02.042openalex-snapshot

Modeling and simulation of cardiac tissue using hybrid I/O automata

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

What's decidable about hybrid automata?

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

HYST

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

Parallel state space exploration of linear systems with inputs using XSpeed

inferredcites →https://doi.org/10.1371/journal.pcbi.1004591openalex-snapshot

Computational Modeling, Formal Analysis, and Tools for Systems Biology

inferredcites →https://doi.org/10.3182/20080706-5-kr-1001.01514openalex-snapshot

Efficient Reachability Analysis for Linear Systems using Support Functions

inferredcites →https://doi.org/10.3233/sat190012openalex-snapshot

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

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-57628-8_16openalex-snapshot

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling

inferred← citeshttps://doi.org/10.1007/978-981-16-4294-4_1openalex-snapshot

Parallel Simulation of Cyber-Physical-Systems

inferred← citeshttps://doi.org/10.1007/s10009-018-0485-6openalex-snapshot

Parallel reachability analysis of hybrid systems in XSpeed

inferred← citeshttps://doi.org/10.1007/s11334-021-00391-wopenalex-snapshot

Parallel simulation of cyber-physical systems

inferred← citeshttps://doi.org/10.1109/iros.2018.8593975openalex-snapshot

Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots

inferred← citeshttps://doi.org/10.1109/iros58592.2024.10802263openalex-snapshot

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks

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

Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace

inferred← citeshttps://doi.org/10.1371/journal.pcbi.1004591openalex-snapshot

Computational Modeling, Formal Analysis, and Tools for Systems Biology

inferred← citeshttps://doi.org/10.29007/4dcnopenalex-snapshot

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/73mbopenalex-snapshot

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/7dt2openalex-snapshot

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

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

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking

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

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

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

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

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

Numerical Verification of 10000-dimensional Linear Systems 10000x Faster

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

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking

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

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

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

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

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

ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion 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.