Login / Signup
A scalable algebraic method to infer quadratic invariants of switched systems.
Xavier Allamigeon
Stéphane Gaubert
Eric Goubault
Sylvie Putot
Nikolas Stott
Published in:
EMSOFT (2015)
Keyphrases
</>
objective function
high precision
cost function
high accuracy
significant improvement
experimental evaluation
neural network
similarity measure
multiscale
pairwise
multiresolution
computational cost
model selection
support vector machine svm
synthetic data
parameter free