Login / Signup
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