Proving and explaining the unfeasibility of message sequence charts for hybrid systems.

Alessandro Cimatti Sergio Mover Stefano Tonetta

Published in: FMCAD (2011)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
soft computing
computational intelligence
discrete event
artificial intelligence
data mining
data analysis
artificial neural networks
fuzzy logic