A programmable pseudo negative stiffness control device and its role in stay cable vibration control. (1st July 2022)