On the public citation graph

Decomposed Reachability Analysis for Nonlinear Systems

https://doi.org/10.1109/rtss.2016.011

0 signed · 97 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/978-1-4612-0937-9openalex-snapshot

Differential Equations: A Dynamical Systems Approach

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-540-31954-2_17openalex-snapshot

PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot

Z3: An Efficient SMT Solver

inferredcites →https://doi.org/10.1007/978-3-642-03845-7_9openalex-snapshot

Computing Reachable States for Nonlinear Biological Models

inferredcites →https://doi.org/10.1007/978-3-642-15956-5_1openalex-snapshot

Implementing a Rigorous ODE Solver Through Literate Programming

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-24690-6_13openalex-snapshot

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

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_15openalex-snapshot

dReach: δ-Reachability Analysis for Hybrid Systems

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

C2E2: A Verification Tool for Stateflow Models

inferredcites →https://doi.org/10.1007/s00236-006-0035-7openalex-snapshot

Hybridization methods for the analysis of nonlinear systems

inferredcites →https://doi.org/10.1007/s10703-009-0079-8openalex-snapshot

Computing differential invariants of hybrid systems as fixedpoints

inferredcites →https://doi.org/10.1016/0016-0032(79)90069-3openalex-snapshot

Large-scale dynamic systems: stability and structure

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/s0303-2647(97)01688-2openalex-snapshot

Dynamics of two-component biochemical systems in interacting cells; Synchronization and desynchronization of oscillations and multiple steady states

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.1073/pnas.092133899openalex-snapshot

Mechanisms of noise-resistance in genetic oscillators

inferredcites →https://doi.org/10.1088/1478-3975/3/1/004openalex-snapshot

Synchronization of coupled nonidentical genetic oscillators

inferredcites →https://doi.org/10.1091/mbc.9.12.3521openalex-snapshot

A Molecular Network That Produces Spontaneous Oscillations in Excitable Cells of Dictyostelium

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/ms.2001.936213openalex-snapshot

Using simplicity to control complexity

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

HYTECH: the next generation

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

Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions

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.2014.21openalex-snapshot

Real-Time Reachability for Verified Simplex Design

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

Introduction to Interval Analysis

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

Accurate hybridization of nonlinear systems

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

A dynamic algorithm for approximate flow computations

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

Proofs from simulations and modular annotations

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

Compositional construction of approximate abstractions

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

HYST

inferredcites →https://doi.org/10.1201/9781420057140openalex-snapshot

Graph Theory and Its Applications

inferredcites →https://doi.org/10.12732/ijdea.v10i4.178openalex-snapshot

SUPPRESSION OF THE WRAPPING EFFECT BY TAYLOR MODEL- BASED VERIFIED INTEGRATORS: LONG-TERM STABILIZATION BY PRECONDITIONING

inferredcites →https://doi.org/10.29007/zbkvopenalex-snapshot

An Introduction to CORA 2015

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-13050-3_4openalex-snapshot

Formal Techniques for Verification and Testing of Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-28423-7_4openalex-snapshot

Rigorous Continuous Evolution of Uncertain Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_20openalex-snapshot

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs

inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_30openalex-snapshot

Reachability Analysis Using Message Passing over Tree Decompositions

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-3-030-58298-2_7openalex-snapshot

A Formally Verified Plasma Vertical Position Control Algorithm

inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_19openalex-snapshot

Property-Directed Verified Monitoring of Signal Temporal Logic

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-90870-6_43openalex-snapshot

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed

inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_6openalex-snapshot

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

inferred← citeshttps://doi.org/10.1007/978-3-031-08679-3_5openalex-snapshot

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_27openalex-snapshot

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_12openalex-snapshot

On the Trade-Off Between Efficiency and Precision of Neural Abstraction

inferred← citeshttps://doi.org/10.1007/978-3-319-66266-4_8openalex-snapshot

A Simplex Architecture for Hybrid Systems Using Barrier Certificates

inferred← citeshttps://doi.org/10.1007/978-3-319-67089-8_9openalex-snapshot

Distributed Control Synthesis Using Euler’s Method

inferred← citeshttps://doi.org/10.1007/978-3-319-92970-5_6openalex-snapshot

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

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

Guaranteed master for interval-based cosimulation

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

Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

inferred← citeshttps://doi.org/10.1109/asp-dac66049.2026.11420697openalex-snapshot

Flowmap Overapproximation for Linear Time-Varying Stochastic Systems

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

Constructing verification models of nonlinear Simulink systems via syntactic hybridization

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

Safety analysis using compositional bounded error approximations of communicating hybrid systems

inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10384185openalex-snapshot

Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers

inferred← citeshttps://doi.org/10.1109/fdl68117.2025.11165275openalex-snapshot

Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties

inferred← citeshttps://doi.org/10.1109/iri.2018.00082openalex-snapshot

Context-Dependent Reachability Analysis for Hybrid Systems

inferred← citeshttps://doi.org/10.1109/iros45743.2020.9340755openalex-snapshot

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis

inferred← citeshttps://doi.org/10.1109/itsc55140.2022.9922294openalex-snapshot

Runtime Assurance for Autonomous Driving with Neural Reachability

inferred← citeshttps://doi.org/10.1109/jiot.2022.3141266openalex-snapshot

Resource-Aware Estimation and Control for Edge Robotics: A Set-Based Approach

inferred← citeshttps://doi.org/10.1109/jproc.2017.2779456openalex-snapshot

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1109/lcsys.2024.3421194openalex-snapshot

Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference

inferred← citeshttps://doi.org/10.1109/lsens.2020.2981936openalex-snapshot

Topography Relaxation in Determining Unsafe State Intersections for Uncertain CPS

inferred← citeshttps://doi.org/10.1109/rtas58335.2023.00024openalex-snapshot

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems

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

Model Predictive Real-Time Monitoring of Linear Systems

inferred← citeshttps://doi.org/10.1109/rtss49844.2020.00028openalex-snapshot

Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations

inferred← citeshttps://doi.org/10.1109/sies62473.2024.10768029openalex-snapshot

Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution

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

Compositional Taylor Model Based Validated Integration

inferred← citeshttps://doi.org/10.1109/tcad.2020.3012859openalex-snapshot

Reachability Analysis of Linear Hybrid Systems via Block Decomposition

inferred← citeshttps://doi.org/10.1109/tcad.2023.3331215openalex-snapshot

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems

inferred← citeshttps://doi.org/10.1109/tiv.2023.3332006openalex-snapshot

Enhancing the Security of Automotive Systems Using Attackability Index

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

Compositional Relational Abstraction for Nonlinear Hybrid Systems

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

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

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

Reachability analysis for neural feedback systems using regressive polynomial rule inference

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

A computable and compositional semantics for hybrid automata

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

Adaptive parameter tuning for reachability analysis of nonlinear systems

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

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis

inferred← citeshttps://doi.org/10.1146/annurev-control-071420-081941openalex-snapshot

Set Propagation Techniques for Reachability Analysis

inferred← citeshttps://doi.org/10.1587/nolta.12.2openalex-snapshot

Preconditioning of Taylor models, implementation and test cases

inferred← citeshttps://doi.org/10.17759/mda.2019090401openalex-snapshot

Modeling of Dynamic Systems With Interval Parameters

inferred← citeshttps://doi.org/10.23919/acc63710.2025.11107810openalex-snapshot

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

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

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

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

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

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

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

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

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

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

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

inferred← citeshttps://doi.org/10.46298/lmcs-20(1:2)2024openalex-snapshot

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

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

Reachability Analysis and Safety Verification for Neural Network Control Systems

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

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

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

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap

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

Higher Order Method for Differential Inclusions

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

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic

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

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches

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

Reachability of Linear Uncertain Systems: Sampling Based Approaches

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.