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

> Research article (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022) · cited 16× · AI/ML

**Wikidata**: [openalex:W4293243780](https://www.wikidata.org/wiki/openalex:W4293243780)  
**Source**: https://4ort.xyz/entity/verified-train-controllers-for-the-federal-railroad-administration-train-kinematics-model-balancing-competing-brake-and-