“…A continuous-time assume-guarantee contract for Σ is a tuple C = (A W , G X , G Y ) where A W ⊆ W is a set of assumptions on the external input and G X ⊆ X , G Y ⊆ Y are sets of guarantees on the state and output, respectively. Intuitively, an assume-guarantee contract is strongly satisfied when if the system's input belongs to A W up to a time instant t, then the system's state belongs to G X at least until t, and the system's output belongs to G Y until t + δ with δ > 0, see [3].…”