Login / Signup
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Wang Lin
Min Wu
Zhengfeng Yang
Zhenbing Zeng
Published in:
CoRR (2011)
Keyphrases
</>
hybrid systems
black box
intelligent systems
computational intelligence
neural network
soft computing
meta learning
artificial neural networks
discrete event
semi supervised
temporal information