Login / Signup
Online hazard prediction of train operations with parametric hybrid automata based runtime verification.
Ming Chai
Xinyi Zhang
Bernd-Holger Schlingloff
Tao Tang
Hongjie Liu
Published in:
Reliab. Eng. Syst. Saf. (2024)
Keyphrases
</>
prediction accuracy
online learning
prediction error
prediction algorithm
prediction model
model checking
real time
genetic algorithm
parametric models
cross cultural
data mining
hybrid learning
predictive model
formal verification