Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions.
John Irvin AloraAlex A. GorodetskySertac KaramanYoussef M. MarzoukNathan LowryPublished in: CDC (2016)
Keyphrases
- low rank
- trace norm
- singular value decomposition
- high order
- frobenius norm
- control system
- bounded model checking
- tensor decomposition
- matrix decomposition
- matrix factorization
- matrix completion
- low rank matrix
- missing data
- linear combination
- rank minimization
- convex optimization
- high dimensional data
- semi supervised
- kernel matrix
- higher order
- dimensionality reduction
- temporal logic
- model checking
- singular values
- minimization problems
- tensor factorization
- least squares
- low rank matrices
- robust principal component analysis
- data matrix
- multi task
- non rigid structure from motion
- pattern recognition