SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic.

Didier Henrion Simone Naldi Mohab Safey El Din

Published in: CoRR (2016)

Keyphrases

linear matrix inequality
lyapunov function
real time
control law
least squares
principal component analysis
sufficient conditions
neural network
learning algorithm
nonlinear systems