no code implementations • 18 Feb 2024 • Inigo Incer, Noel Csomay-Shanklin, Aaron Ames, Richard M. Murray
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications.
no code implementations • 27 Feb 2023 • Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli
It can be thought of as a building block for any design exploration and optimization algorithm.