Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng Wang Lin Zhengfeng Yang Xin Chen Lilei Wang

Published in: EMSOFT (2016)

Keyphrases

hybrid systems
intelligent systems
black box
computational intelligence
meta learning
neural network
discrete event
artificial intelligence
soft computing
web services
text categorization