Login / Signup
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
Deepak Kapur
Naijun Zhan
Hengjun Zhao
Published in:
CoRR (2013)
Keyphrases
</>
expert systems
hybrid systems
intelligent systems
artificial intelligence
black box
soft computing
discrete event
computational intelligence
meta learning
neural network
dynamic systems
data mining
machine learning
data management
evolutionary computation