@misc{indiciae4da7ef416cf3, title = {Compositional Symbolic Models for Networks of Incrementally Stable Control Systems}, author = {Giordano Pola and Pierdomenico Pepe and Maria Domenica Di Benedetto}, year = {2014}, url = {https://arxiv.org/abs/1404.0048}, note = {Source identifier: 1404.0048} }