Guiver, Chris, "Passivity theorems for input-to-state stability of forced Lur’e inclusions and equations, and consequent entrainment-type properties", ESAIM: Control, Optimisation and Calculus of Variations, 2025