Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts.

Kasra Ghasemi Sadra Sadraddini Calin Belta

Published in: Autom. (2024)

Keyphrases

convex optimization
linear systems
interior point methods
sufficient conditions
dynamical systems
low rank
coefficient matrix
total variation
primal dual
sparse linear systems
convex optimization problems
pairwise
operator splitting