Login / Signup
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.
Hengjun Zhao
Naijun Zhan
Deepak Kapur
Published in:
Theories of Programming and Formal Methods (2013)
Keyphrases
</>
hybrid systems
black box
meta learning
intelligent systems
neural network
computational intelligence
soft computing
artificial intelligence
discrete event
learning algorithm
feature selection
machine learning algorithms
evolutionary computation
dynamic systems