1 citations · 1 across the 1 of their papers we have counts for
1 paper
B. M. Shali, H. M. Heidema, A. J. van der Schaft +1
We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behavi…