Login / Signup
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.
Yifan Zhang
Zhengfeng Yang
Wang Lin
Huibiao Zhu
Xin Chen
Xuandong Li
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
</>
hybrid systems
black box
neural network
intelligent systems
soft computing
computational intelligence
meta learning
discrete event
artificial intelligence
data mining
decision making
reinforcement learning
object oriented
access control
mathematical model
simulation model