Analysis in Train Control
Logical Verification and Systematic Parametric Analysis in Train Control
FREE-DOWNLOAD [PDF] A Platzer… –
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