A System Substitution Mechanism for Hybrid Systems in Event-B.

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

Published in: ICFEM (2016)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
soft computing
computational intelligence
discrete event
meta learning
artificial intelligence
decision making
multi agent systems
training set
artificial neural networks
control system
fuzzy logic
workflow systems