Passivity theorems for input-to-state stability of forced Lur’e inclusions and equations, and consequent entrainment-type propertiesChris GuiverESAIM: COCV, 31 (2025) 22DOI: https://doi.org/10.1051/cocv/2025013