On the public citation graph

Safety verification for automated platoon maneuvers: A case study

0 signed · 44 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/bfb0020932openalex-snapshot

A game-theoretic approach to hybrid system design

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

Verification of automated vehicle protection systems

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

Hybrid I/O automata

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

A toolbox for proving and maintaining hybrid specifications

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

Prom timed to 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.250509openalex-snapshot

Smart cars on smart roads: problems of control

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-64358-3_35openalex-snapshot

Automotive control revisited linear inequalities as approximation of reachable sets

inferred← citeshttps://doi.org/10.1007/3-540-64358-3_44openalex-snapshot

Formal verification of safety-critical hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-64358-3_45openalex-snapshot

Strings of vehicles: Modeling and safety conditions

inferred← citeshttps://doi.org/10.1007/978-3-030-32872-6_22openalex-snapshot

A Runtime Safety Analysis Concept for Open Adaptive Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-47846-3_24openalex-snapshot

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

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

Formal Verification of Platoon Control Strategies

inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_6openalex-snapshot

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified

inferred← citeshttps://doi.org/10.1007/bfb0031553openalex-snapshot

A toolbox for proving and maintaining hybrid specifications

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.1016/j.automatica.2021.109688openalex-snapshot

Control barrier functions for stochastic systems

inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110692openalex-snapshot

Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges

inferred← citeshttps://doi.org/10.1016/j.physa.2023.128518openalex-snapshot

Towards Higher Efficiency and Less Consumption: Control Strategy and Simulation for Cav Platooning

inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00067-1openalex-snapshot

Hybrid I/O automata

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

High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)

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

Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules

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

Verified hybrid controllers for automated vehicles

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

Stability and performance of intersecting aircraft flows under sequential conflict resolution

inferred← citeshttps://doi.org/10.1109/cacsd.1999.808632openalex-snapshot

Modular verification of a fault-tolerant active structure controller: an example

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

On the formal verification of the TCAS conflict resolution algorithms

inferred← citeshttps://doi.org/10.1109/dcfts.1999.814291openalex-snapshot

A methodology for proving control systems with Lustre and PVS

inferred← citeshttps://doi.org/10.1109/icdcs.2010.49openalex-snapshot

Safe and Stabilizing Distributed Cellular Flows

inferred← citeshttps://doi.org/10.1109/qsic.2003.1319112openalex-snapshot

Modeling and verifying a Lego car using hybrid I/O automata

inferred← citeshttps://doi.org/10.1109/real.1999.818833openalex-snapshot

High-level modeling and analysis of TCAS

inferred← citeshttps://doi.org/10.1109/spw53761.2021.00046openalex-snapshot

Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems

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

Provably-Correct and Comfortable Adaptive Cruise Control

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

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

inferred← citeshttps://doi.org/10.1184/r1/6603002openalex-snapshot

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (CMU-CS-11-107)

inferred← citeshttps://doi.org/10.1184/r1/6604850openalex-snapshot

Differential Invariants and Symbolic Integration for Distributed Hybrid Systems (CMU-CS-12-107)

inferred← citeshttps://doi.org/10.2200/s00310ed1v01y201011dct005openalex-snapshot

The Theory of Timed I/O Automata, Second Edition

inferred← citeshttps://doi.org/10.23919/acc.2019.8814901openalex-snapshot

Control Barrier Functions for Complete and Incomplete Information Stochastic Systems

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

Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata

inferred← citeshttps://doi.org/10.2514/6.2000-4271openalex-snapshot

Stability of intersecting aircraft flows under decentralized conflict avoidance rules

inferred← citeshttps://doi.org/10.2514/6.2001-4296openalex-snapshot

Stability of intersecting aircraft flows under centralized and decentralized conflict avoidance rules

inferred← citeshttps://doi.org/10.7907/xz3x-7v51.openalex-snapshot

Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous 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.