Benchmark problem: an air brake model for trains


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.

Applied Verification for Continuous and Hybrid Systems, April 2015, Seattle, USA