Safety Verification of Hybrid Systems Using Barrier Certificates.

Stephen Prajna Ali Jadbabaie

Published in: HSCC (2004)

Keyphrases

hybrid systems
black box
intelligent systems
discrete event
meta learning
soft computing
neural network
computational intelligence
access control
artificial intelligence
search space
learning tasks
simulation model
data model
benchmark datasets