Analysis in Train Control

Logical Verification and Systematic Parametric Analysis in Train Control

Most hybrid systems contain substantial degrees of freedom including how spe- cific parameters
are instantiated or adjusted [3,2,5]. Yet, virtually any hybrid system is only safe under certain
constraints on these parameters. For instance, the European Train Control System