Generating invariants for non-linear hybrid systems.

Rachid Rebiha Arnaldo Vieira Moura Nadir Matringe

Published in: Theor. Comput. Sci. (2015)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
computational intelligence
meta learning
soft computing
artificial intelligence
discrete event
artificial neural networks