Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.

Olaf Stursberg Ansgar Fehnker Zhi Han Bruce H. Krogh

Published in: ADHS (2003)

Keyphrases

hybrid systems
black box
intelligent systems
artificial intelligence
genetic algorithm
benchmark datasets
search algorithm
data analysis
fuzzy logic
computational intelligence
qualitative and quantitative
simulation model
temporal reasoning
discrete event