Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. (arXiv:2208.01701v1 [eess.SY]) http://arxiv.org/abs/2208.01701
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.