Computer algebra tailored to matrix inequalities in control.

J. William Helton Maurício C. de Oliveira

Published in: CDC (2003)

Keyphrases

computer algebra
control system
theorem prover
singular value decomposition
control theory
data sets
artificial intelligence
covariance matrix
control method
linear algebra