Risk Control of the Automatic Train Supervision System in Rail Transit Systems: Under a Van der Pol Equation-Based Framework | Synapse