6 citations · 6 across the 1 of their papers we have counts for
1 paper
Inigo Incer, Noel Csomay-Shanklin, Aaron Ames +1
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of compon…