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.
Type:
Publication:
Applied Verification for Continuous and Hybrid Systems, April 2015, Seattle, USA