Login / Signup
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong
Fei He
Xiaoyu Song
William N. N. Hung
Ming Gu
Published in:
CoRR (2013)
Keyphrases
</>
hybrid systems
black box
neural network
intelligent systems
soft computing
meta learning
artificial intelligence
discrete event
computational intelligence
data mining
dynamic systems
search algorithm
text classification
knowledge acquisition
test data
inductive learning