Computing differential invariants of hybrid systems as fixedpoints.

André Platzer Edmund M. Clarke

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

hybrid systems
meta learning
black box
intelligent systems
neural network
discrete event
soft computing
computational intelligence
machine learning
decision making
decision trees
pattern recognition
artificial neural networks
inductive learning