Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem.

Published in: Sci. Comput. Program. (2020)

Keyphrases

fully automated
semi automated
control system
control method
neural network
event detection
process control
control theory
control strategy
hybrid learning
human operators
control problems
condition action rules
receding horizon