Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.

Guillaume Dupont Yamine Aït Ameur Marc Pantel Neeraj Kumar Singh

Published in: MEDI Workshops (2018)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
computational intelligence
discrete event
artificial intelligence
machine learning
data model
fuzzy logic
data management
test set
dynamic systems