User:Saung Tadashi/Heymann's lemma

Heynmann's lemma

Proof edit

Extension edit

An extension for multiple inputs is presented in Proposition 2 of [1]

References edit

  1. ^ Hespanhol, Pedro; Porter, Matthew; Vasudevan, Ram; Aswani, Anil (2017). "Statistical Watermarking for Networked Control Systems". arXiv:1709.08617 [math.OC].

See also edit