“…Proof: The proof follows from circle-criterion-type arguments [2], [10], [14], [26]. In the proofs in these references, typically, the nonlinearity ϕ(e) = φ(e)e only depends on the error e. However, even though the nonlinearity considered here depends on an additional output variable Q pat [see (17)], the same proof applies. To see this, note that the nonlinearity ϕ(e, Q pat ) satisfies the sector condition (21) for all e ∈ R, e = 0, but also for all Q pat ∈ R, such that a proof along the lines of [10], [14], and [26] can be followed.…”