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

Autor: Aditi Kabra, Stefan Mitsch, Andre Platzer
Rok vydání: 2022
Předmět:
Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:4409-4420
ISSN: 1937-4151
0278-0070
DOI: 10.1109/tcad.2022.3197690
Databáze: OpenAIRE