Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces

Aditi Kabra, Stefan Mitsch, André Platzer. Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):4409-4420, 2022. [doi]

Abstract

Abstract is missing.