An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.

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

Published in: IFM (2020)

Keyphrases

hybrid systems
black box
computational intelligence
learning algorithm
intelligent systems
life cycle
meta learning