Constructing Invariants for Hybrid Systems.

Sriram Sankaranarayanan Henny Sipma Zohar Manna

Published in: HSCC (2004)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
computational intelligence
meta learning
discrete event
soft computing
artificial intelligence
dynamic systems
simulation model
pattern recognition
prediction accuracy
test set