On the public citation graph
Modelling and verification of automated transit systems, using timed automata, invariants and simulations
0 signed · 34 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1995.1134openalex-snapshot
Forward and Backward Simulations
inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/3-540-58043-3openalex-snapshot
A Decade of Concurrency Reflections and Perspectives
inferredcites →https://doi.org/10.1007/3-540-58043-3_24openalex-snapshot
Simulation techniques for proving properties of real-time systems
inferredcites →https://doi.org/10.1007/3-540-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferredcites →https://doi.org/10.1007/3-540-58468-4_165openalex-snapshot
Verification of an audio control protocol
inferredcites →https://doi.org/10.1007/3-540-60472-3_9openalex-snapshot
Hierarchical hybrid control: a case study
inferredcites →https://doi.org/10.1007/978-0-387-34878-0_19openalex-snapshot
Verifying Timing Properties of Concurrent Algorithms
inferredcites →https://doi.org/10.1007/bf01211907openalex-snapshot
Action transducers and timed automata
inferredcites →https://doi.org/10.1007/bf02252683openalex-snapshot
Using mappings to prove timing properties
inferredcites →https://doi.org/10.1007/bfb0020938openalex-snapshot
Verification of automated vehicle protection systems
inferredcites →https://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferredcites →https://doi.org/10.1007/bfb0084808openalex-snapshot
Action transducers and timed automata
inferredcites →https://doi.org/10.1109/25.554756openalex-snapshot
An interface between continuous and discrete-event controllers for vehicle automation
inferredcites →https://doi.org/10.1109/acc.1994.751766openalex-snapshot
Longitudinal control of the lead car of a platoon
inferredcites →https://doi.org/10.1109/proc.1983.12778openalex-snapshot
Formal description techniques
inferredcites →https://doi.org/10.1109/real.1994.342724openalex-snapshot
The generalized railroad crossing: a case study in formal verification of real-time systems
inferredcites →https://doi.org/10.1109/real.1996.563701openalex-snapshot
Correctness of vehicle control systems-a case study
inferredcites →https://doi.org/10.1142/9789812708472_0016openalex-snapshot
A Three-Level Analysis of a Simple Acceleration Maneuver, with Uncertainties
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-45351-2_33openalex-snapshot
Hybrid I/O Automata Revisited
inferred← citeshttps://doi.org/10.1007/3-540-49646-7_25openalex-snapshot
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_54openalex-snapshot
Stabilization of systems with changing dynamics
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_27openalex-snapshot
Engineering of real-time systems with an experiment in hybrid control
inferred← citeshttps://doi.org/10.1007/978-3-642-02351-4_7openalex-snapshot
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_23openalex-snapshot
Modeling and Analysis of Hybrid Control Systems
inferred← citeshttps://doi.org/10.1007/bfb0020938openalex-snapshot
Verification of automated vehicle protection systems
inferred← citeshttps://doi.org/10.1109/real.1996.563701openalex-snapshot
Correctness of vehicle control systems-a case study
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.