A Geometric Approach to Bisimulation and Verification of Hybrid Systems.

Mireille E. Broucke

Published in: HSCC (1999)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
computational intelligence
meta learning
neural network
discrete event
artificial intelligence
data mining
web services
expert systems
fuzzy logic
learning tasks