Transcendental inductive invariants generation for non-linear differential and hybrid systems.

Rachid Rebiha Nadir Matringe Arnaldo Vieira Moura

Published in: HSCC (2012)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
soft computing
inductive learning
neural network
computational intelligence
machine learning
discrete event
artificial intelligence
knowledge representation
learning algorithm