Benchmark problem: an air brake model for trains

6 pages•Published: December 17, 2015

Luca Parolini, Simone Schuler and Adolfo Anta

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 to evaluate tools for proving safety requirements in hybrid systems.

Keyphrases: benchmark, control, industrial, python, train control

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 43-48.

Links:	https://easychair.org/publications/paper/4H
	https://doi.org/10.29007/1bln

BibTeX entry

@inproceedings{ARCH15:Benchmark_problem_air_brake,
  author    = {Luca Parolini and Simone Schuler and Adolfo Anta},
  title     = {Benchmark problem: an air brake model for trains},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4H},
  doi       = {10.29007/1bln},
  pages     = {43-48},
  year      = {2015}}

Download PDF Open PDF in browser