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 |
Externí odkaz: |