Login / Signup
Hybrid Dynamic Systems: Overview and Discussion on Verification Methods.
Janan Zaytoon
Published in:
ICINCO (2005)
Keyphrases
</>
dynamic systems
computational cost
computationally expensive
search algorithm
preprocessing
level set
complex systems
machine learning
learning algorithm
reinforcement learning
search space
state space
data mining techniques
cross validation
machine learning methods
qualitative reasoning