On the public citation graph

An algorithm for the approximative analysis of rectangular automata

0 signed · 40 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-58485-4_43openalex-snapshot

Verification of linear hybrid systems by means of convex approximations

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

Algorithmic analysis of nonlinear hybrid systems

inferredcites →https://doi.org/10.1007/3-540-61474-5_76openalex-snapshot

Verifying safety properties of differential equations

inferredcites →https://doi.org/10.1007/3-540-64358-3openalex-snapshot

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

inferredcites →https://doi.org/10.1007/3-540-64358-3_34openalex-snapshot

Reachability analysis via face lifting

inferredcites →https://doi.org/10.1007/3-540-64358-3_38openalex-snapshot

Integrating projections

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

Using HyTech to verify an automotive control System

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

Hybrid Systems IV

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

Reliable implementation of hybrid control systems for advanced avionics

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

Comparing timed and hybrid automata as approximations of continuous systems

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

HYTECH: a model checker for hybrid systems

inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot

The algorithmic analysis of hybrid systems

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

Algorithmic analysis of nonlinear hybrid systems

inferredcites →https://doi.org/10.1109/cdc.1998.761976openalex-snapshot

Formal verification of an automotive engine controller in cutoff mode

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

What's decidable about hybrid automata?

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-48983-5_20openalex-snapshot

Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis

inferred← citeshttps://doi.org/10.1007/978-1-4471-0853-5_18openalex-snapshot

Verification of Logic Controllers for Continuous Plants

inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot

PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

inferred← citeshttps://doi.org/10.1007/978-3-642-14052-5_19openalex-snapshot

Automated Machine-Checked Hybrid System Safety Proofs

inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_21openalex-snapshot

Safety Verification for Probabilistic Hybrid Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-24288-5_13openalex-snapshot

Efficient Bounded Reachability Computation for Rectangular Automata

inferred← citeshttps://doi.org/10.1007/s10009-007-0062-xopenalex-snapshot

PHAVer: algorithmic verification of hybrid systems past HyTech

inferred← citeshttps://doi.org/10.1007/s10703-012-0167-zopenalex-snapshot

A compositional modelling and analysis framework for stochastic hybrid systems

inferred← citeshttps://doi.org/10.1007/s11431-015-5985-yopenalex-snapshot

A formal structure for symbolic reachability analysis of rectangular hybrid systems

inferred← citeshttps://doi.org/10.1016/b978-008044613-4.50068-9openalex-snapshot

An Evaluation of Two Recent Reachability Analysis Tools for Hybrid Systems

inferred← citeshttps://doi.org/10.1016/j.jss.2006.01.016openalex-snapshot

Verification of rectangular hybrid automata models

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

Tightened reachability constraints for the verification of linear hybrid systems

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40040-1openalex-snapshot

Symbolic Reachability Analysis of Hybrid Systems

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56815-9openalex-snapshot

Timed approximations of hybrid processes for controller verification

inferred← citeshttps://doi.org/10.1109/acc.2000.879486openalex-snapshot

A procedure for reachability analysis of rectangular automata

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

Formal verification of an automotive engine controller in cutoff mode

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

Some lessons from the HYTECH experience

inferred← citeshttps://doi.org/10.1109/tcst.2007.903388openalex-snapshot

A Hybrid Automaton Model of the Cement Mill Control

inferred← citeshttps://doi.org/10.14288/1.0052102openalex-snapshot

Projectagon-based reachability analysis for circuit-level formal verification

inferred← citeshttps://doi.org/10.22028/d291-26494openalex-snapshot

Model checking stochastic hybrid systems

inferred← citeshttps://doi.org/10.23919/ecc.1999.7099845openalex-snapshot

Approximating switched continuous systems by rectangular automata

inferred← citeshttps://doi.org/10.3166/ejc.18.572-587openalex-snapshot

Safety Verification for Probabilistic Hybrid Systems

inferred← citeshttps://doi.org/10.3182/20060607-3-it-3902.00069openalex-snapshot

AN EVALUATION OF TWO RECENT REACHABILITY ANALYSIS TOOLS FOR HYBRID SYSTEMS

inferred← citeshttps://doi.org/10.47749/t/unicamp.2018.1050552openalex-snapshot

Modelagem de sistemas químicos como máquinas de estados finitos para fins de verificação formal

inferred← citeshttps://doi.org/10.5220/0001475500650071openalex-snapshot

RECURSIVE AND BACKWARD REASONING IN THE VERIFICATION ON HYBRID 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.