Sign in

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

Yuxiao ChenJames AndersonKaran KalsiSteven H. LowAaron 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