Benchmark problem: an air brake model for trains
Applied Verification for Continuous and Hybrid Systems (ARCH 2015)
rail
A publicly available simplified hybrid model of a freight train air brake system, proposed as a benchmark for verification tools applied to cyber-physical systems with safety constraints.
Abstract
This paper proposes a simplified hybrid model of a freight train equipped with an air brake. The control of such a system and the enforcement of numerous safety constraints constitute a relevant benchmark for the verification of cyber-physical systems. The model is made publicly available to facilitate reproducibility and comparisons across verification tools.
Citation
BibTeX citation:
@inproceedings{parolini2015,
author = {Parolini, Luca and Schuler, Simone and Anta, Adolfo},
title = {Benchmark Problem: An Air Brake Model for Trains},
booktitle = {Applied Verification for Continuous and Hybrid Systems
(ARCH)},
date = {2015-04-01},
url = {https://lucaparolini.com/publications/papers/air-brake-arch-2015/},
doi = {10.29007/1bln},
langid = {en}
}
For attribution, please cite this work as:
L.
Parolini, S. Schuler, and A. Anta, “Benchmark problem: an air
brake model for trains,” in Applied Verification for
Continuous and Hybrid Systems (ARCH), Apr. 2015. doi: 10.29007/1bln.