Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. (arXiv:2002.02014v1 [eess.SY]) http://arxiv.org/abs/2002.02014
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.