Nonlinear L2-gain verification for bilinear systems.

Peter M. Dower Christopher M. Kellett

Published in: AuCC (2014)

Keyphrases

machine learning
building blocks
learning systems
real time
data sets
databases
neural network
image processing
clustering algorithm
decision trees
management system
knowledge based systems
formal methods
signature verification