Login / Signup

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

Aditi KabraStefan MitschAndré Platzer
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
  • formal model
  • prior knowledge
  • probabilistic model
  • computational model
  • neural network
  • database
  • high level
  • data model
  • control system
  • probability distribution
  • statistical model
  • united states
  • prediction model