Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.

Min Wu Zhengfeng Yang

Published in: SNC (2011)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
meta learning
soft computing
artificial intelligence
computational intelligence
discrete event
implicit polynomial
search algorithm
learning process
machine learning algorithms
orders of magnitude
search problems
binary matrix