Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.

Alexandre Donzé Bruce H. Krogh Akshay Rajhans

Published in: HSCC (2009)

Keyphrases

hybrid systems
black box
neural network
computational intelligence
meta learning
discrete event
decision trees
test cases
dynamic systems