Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.

Hui Kong Sergiy Bogomolov Christian Schilling Yu Jiang Thomas A. Henzinger

Published in: HSCC (2017)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
computational intelligence
soft computing
neural network
discrete event
artificial intelligence
artificial neural networks
data mining
genetic algorithm
feature vectors
particle filter