7 citations · 27 across the 11 of their papers we have counts for
1 paper · 1 filter
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…