Analysis in Train Control


FREE IEEE PAPERS

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 




IEEE PAPER UNITED STATES