Benchmark problem: an air brake model for trains
Applied Verification for Continuous and Hybrid Systems (ARCH 2015), 2015
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.
Cite
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.
BibTeX
@inproceedings{parolini2015,
author = {Parolini, Luca and Schuler, Simone and Anta, Adolfo},
booktitle = {Applied {Verification} for {Continuous} and {Hybrid} {Systems} ({ARCH})},
doi = {10.29007/1bln},
year = {2015},
month = {apr},
title = {Benchmark problem: an air brake model for trains},
}