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