Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts.

Yuxiao Chen James Anderson Karan Kalsi Steven H. Low Aaron D. Ames

Published in: ACC (2019)

Keyphrases

small number
management system
building blocks
directed graph
application level
databases
optimal solution
digital libraries
logic programs
access control
computer systems
complex systems
complex networks