On the public citation graph

Hybrid and Real-Time Systems

https://doi.org/10.1007/bfb0014706
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.1006/inco.1994.1045openalex-snapshot
Symbolic Model Checking for Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-60360-3_30openalex-snapshot
An automata-theoretic approach to Presburger arithmetic constraints
inferredcites →https://doi.org/10.1007/3-540-60385-9_12openalex-snapshot
Timing analysis of asynchronous circuits using timed automata
inferredcites →https://doi.org/10.1007/978-0-387-34878-0_17openalex-snapshot
Verifying ET-LOTOS programs with KRONOS
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1109/cdc.1994.410933openalex-snapshot
Discretization of timed automata
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1142/9789812831583_0005openalex-snapshot
Real-time symbolic model checking for discrete time models

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-64358-3_41openalex-snapshot
Subanalytic stratifications and bisimulations
inferred← citeshttps://doi.org/10.1007/978-1-4614-7369-5_2openalex-snapshot
Hybrid Systems and Hybrid Bond Graph Models
inferred← citeshttps://doi.org/10.1007/978-3-642-04420-5_13openalex-snapshot
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
inferred← citeshttps://doi.org/10.1007/bfb0053358openalex-snapshot
Retrenchment: An engineering variation on refinement
inferred← citeshttps://doi.org/10.1007/s10514-011-9271-yopenalex-snapshot
Guaranteeing functional safety: design for provability and computer-aided verification
inferred← citeshttps://doi.org/10.1007/s11460-005-0018-4openalex-snapshot
On the Well-posedness of the PWM Control System
inferred← citeshttps://doi.org/10.1016/j.entcs.2003.10.006openalex-snapshot
Network Invariants for Real-Time Systems
inferred← citeshttps://doi.org/10.1016/j.scico.2006.03.009openalex-snapshot
The octahedron abstract domain
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.09.013openalex-snapshot
Metrics for labelled Markov processes
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.036openalex-snapshot
The fixed-point theory of strictly causal functions
inferred← citeshttps://doi.org/10.1016/s0167-6911(98)00037-1openalex-snapshot
Straightening out rectangular differential inclusions
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00188-2openalex-snapshot
A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00186-4openalex-snapshot
Decidable verification for reducible timed automata specified in a first order logic with time
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00331-6openalex-snapshot
Automata over continuous time
inferred← citeshttps://doi.org/10.1016/s0950-4230(01)00014-6openalex-snapshot
Automatic verification of safety interlock systems for industrial processes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56257-6openalex-snapshot
Modelling and analysis of continuous-discrete systems with hybrid petri nets
inferred← citeshttps://doi.org/10.1023/a:1008285600895openalex-snapshot
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
inferred← citeshttps://doi.org/10.1080/23307706.2016.1143787openalex-snapshot
Recent results on stochastic hybrid dynamical systems
inferred← citeshttps://doi.org/10.1109/5.871300openalex-snapshot
Automotive engine control and hybrid systems: challenges and opportunities
inferred← citeshttps://doi.org/10.1109/5.871304openalex-snapshot
Discrete abstractions of hybrid systems
inferred← citeshttps://doi.org/10.1109/5.871305openalex-snapshot
Logics for hybrid systems
inferred← citeshttps://doi.org/10.1109/9.664152openalex-snapshot
Control design for integrator hybrid systems
inferred← citeshttps://doi.org/10.1109/9.880612openalex-snapshot
Characterization of well-posedness of piecewise-linear systems
inferred← citeshttps://doi.org/10.1109/acc.1998.703498openalex-snapshot
Complementarity problems in linear complementarity systems
inferred← citeshttps://doi.org/10.1109/cira.2003.1222267openalex-snapshot
Compensation of discrete contact state errors in multi-fingered manipulation
inferred← citeshttps://doi.org/10.1109/cira.2003.1222268openalex-snapshot
Hybrid (discrete-continuous) control of robotic systems
inferred← citeshttps://doi.org/10.1109/jproc.2000.871299openalex-snapshot
Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems
inferred← citeshttps://doi.org/10.1109/ramech.2004.1438945openalex-snapshot
A small iron ball position control by symbolic input and output
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811303openalex-snapshot
Interval diagrams: increasing efficiency of symbolic real-time verification
inferred← citeshttps://doi.org/10.1109/rtsi.2016.7740572openalex-snapshot
Sink state analysis in multi-tenant smart buildings
inferred← citeshttps://doi.org/10.1115/1.3023133openalex-snapshot
Safe Control of Hopping in Uneven Terrain
inferred← citeshttps://doi.org/10.70675/e6d9310ez367bz46c6zaa27z0b30a37c369aopenalex-snapshot
Supervision of over-actuated steering system of mobile omnidrive heavy vehicle
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.