Sign in
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.
Davide Basile
Maurice H. ter Beek
Alessio Ferrari
Axel Legay
Published in:
FMICS (2019)
Keyphrases
</>
control system
control algorithm
model checking
moving objects
controller synthesis
database
image sequences
timed automata
neural network
wireless sensor networks
input output
control method
fault detection
image blocks
single point