On the public citation graph

Comparing timed and hybrid automata as approximations of continuous systems

https://doi.org/10.1007/bfb0031569
0 signed · 47 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.1002/aic.690380107openalex-snapshot
Automatic verification of sequential control systems using temporal logic
inferredcites →https://doi.org/10.1007/3-540-60472-3_14openalex-snapshot
HyTech: The Cornell Hybrid Technology Tool
inferredcites →https://doi.org/10.1007/3-540-61042-1_47openalex-snapshot
Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control
inferredcites →https://doi.org/10.1007/bfb0020961openalex-snapshot
Linear phase-portrait approximations for nonlinear hybrid systems
inferredcites →https://doi.org/10.1016/0004-3702(86)90073-1openalex-snapshot
Qualitative simulation
inferredcites →https://doi.org/10.1016/0005-1098(94)90119-8openalex-snapshot
Qualitative modelling of linear dynamical systems with quantized state measurements
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1109/21.398684openalex-snapshot
On consistent symbolic representations of general dynamic systems
inferredcites →https://doi.org/10.1109/32.159837openalex-snapshot
Compiling real-time specifications into extended automata
inferredcites →https://doi.org/10.1109/37.291460openalex-snapshot
Approximately time-optimal fuzzy control of a two-tank system
inferredcites →https://doi.org/10.1109/cdc.1995.480308openalex-snapshot
Synthesis of supervisory controllers for hybrid systems based on approximating automata
inferredcites →https://doi.org/10.1109/icsmc.1994.399860openalex-snapshot
Model-based verification of batch process control software
inferredcites →https://doi.org/10.23919/acc.1993.4793297openalex-snapshot
State Space Partitioning for Hybrid Control Systems

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470612309.ch13openalex-snapshot
An Interval‐Based Approximation Method for Discrete Changes in Hybrid cc
inferred← citeshttps://doi.org/10.1007/11856290_18openalex-snapshot
Constraints for Continuous Reachability in the Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_6openalex-snapshot
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics
inferred← citeshttps://doi.org/10.1007/3-540-45873-5_36openalex-snapshot
Series of Abstractions for Hybrid Automata
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_14openalex-snapshot
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
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/3-540-49163-5_9openalex-snapshot
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
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-319-19249-9_23openalex-snapshot
Abstraction of Elementary Hybrid Systems by Variable Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-50230-4_19openalex-snapshot
Formal Model-Based Development in Industrial Automation with Reactive Blocks
inferred← citeshttps://doi.org/10.1007/978-3-540-24743-2_27openalex-snapshot
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_37openalex-snapshot
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
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-24690-6_13openalex-snapshot
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
inferred← citeshttps://doi.org/10.1007/978-3-662-49122-5_13openalex-snapshot
A Method for Invariant Generation for Polynomial Continuous Systems
inferred← citeshttps://doi.org/10.1007/bfb0055350openalex-snapshot
An algorithm for the approximative analysis of rectangular automata
inferred← citeshttps://doi.org/10.1007/s00236-006-0036-6openalex-snapshot
Symbolic models for control systems
inferred← citeshttps://doi.org/10.1007/s10270-012-0295-3openalex-snapshot
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.06.009openalex-snapshot
Deadness and how to disprove liveness in hybrid dynamical systems
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00179-4openalex-snapshot
Verification of logic controllers for continuous plants using timed condition/event-system models
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39066-3openalex-snapshot
Discrete Approximation of Continuous and Hybrid Systems: Some Consequences to Supervisory Control
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.1049/cp:19980633openalex-snapshot
Simulation of hybrid systems based on interpreted Petri nets
inferred← citeshttps://doi.org/10.1109/apccas.2000.913618openalex-snapshot
Discrete approximation of continuous systems with timers based on partition of threshold switching faces
inferred← citeshttps://doi.org/10.1109/etfa.2001.997755openalex-snapshot
Partial and total order relations for supervisory control of hybrid systems
inferred← citeshttps://doi.org/10.1109/etfa.2016.7733636openalex-snapshot
A Comparison of Formal Verification Approaches for IEC 61499
inferred← citeshttps://doi.org/10.1109/isic.2001.971501openalex-snapshot
Modeling of continuous and hybrid systems using partial order relations
inferred← citeshttps://doi.org/10.1109/tac.2006.876946openalex-snapshot
Symbolic Control of Linear Systems Based on Symbolic Subsystems
inferred← citeshttps://doi.org/10.23919/ecc.1999.7099845openalex-snapshot
Approximating switched continuous systems by rectangular automata
inferred← citeshttps://doi.org/10.3182/20110828-6-it-1002.03317openalex-snapshot
Abstraction of Biochemical Reaction Systems on Polytopes
inferred← citeshttps://doi.org/10.3182/20120711-3-be-2027.00292openalex-snapshot
Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE
inferred← citeshttps://doi.org/10.48550/arxiv.1403.7022openalex-snapshot
Abstraction of Elementary Hybrid Systems by Variable Transformation
inferred← citeshttps://doi.org/10.70675/3662f5e9zdeaez4e93z852cz5cb4ef752e44openalex-snapshot
Surveillance préventive des systèmes hybrides à incertitudes bornées
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.