Computing Differential Invariants of Hybrid Systems as Fixedpoints.

André Platzer Edmund M. Clarke

Published in: CAV (2008)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
soft computing
artificial intelligence
computational intelligence
discrete event
pattern recognition
multi class
semi supervised
fuzzy sets
multi label
dynamic systems
decision trees
search problems