IEEE

Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram

Abstract: The precise generation of train control curves for the on-board Automatic Train Protection (ATP) of the Chinese Train Control System Level 2 (CTCS-2) relies significantly on accurate train ...
IEEE

Model-Free Predictive Control Based on Recursive Least Square and Quadratic Interpolation Methods Applied to Power-Hardware-in-The-Loop Simulation

Abstract: Power-hardware-in-the-loop (PHIL) is a form of real-time simulation that allows a real power device to interact with a simulated power system. In PHIL simulation, the power equipment under ...