Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts | IEEE Conference Publication | IEEE Xplore