A New Barrier Certificate for Safety Verification of Hybrid Systems.

Hui Kong Xiaoyu Song Dong Han Ming Gu Jiaguang Sun

Published in: Comput. J. (2014)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
neural network
soft computing
discrete event
computational intelligence
artificial intelligence
decision trees
learning tasks
knowledge base
knowledge management