Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts.

Kasra Ghasemi Sadra Sadraddini Calin Belta

Published in: CoRR (2022)

Keyphrases

linear systems
convex optimization
interior point methods
sufficient conditions
dynamical systems
low rank
total variation
norm minimization
coefficient matrix
sparse linear systems
primal dual
convex optimization problems
image restoration
linear combination
higher order
denoising
learning algorithm