Login / Signup
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.
Kevin H. J. Jilissen
Peter Dieleman
Jan Friso Groote
Published in:
MARS@ETAPS (2024)
Keyphrases
</>
industrial environment
control system
high speed
conceptual modelling
data sets
search engine
knowledge base
database
computer vision
image processing
objective function
multiresolution
fuzzy logic
simulation model