Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.

Nadir Matringe Arnaldo Vieira Moura Rachid Rebiha

Published in: HSCC (2009)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
discrete event
computational intelligence
soft computing
artificial intelligence
genetic algorithm
software engineering
inductive learning
widely recognized