Automated source of squeezed vacuum states driven by finite state machine based software

In the last few decades, much effort has been made for the production of squeezed vacuum states in order to reduce quantum noise in the audio-frequency band. This technique has been implemented in all running gravitational-wave interferometric detectors and helped to improve their sensitivity. While the detectors are acquiring data for astrophysical observations, they must be kept in the operating condition, also called "science mode," that is, a state that requires the highest possible duty-cycle for all the instrumental parts and controls. We report the development of a highly automated setup for the generation of optical squeezed states, where all the required control loops are supervised by a software based on finite state machines; we took special care to grant ease of use, stability of operation, and possibility of auto-recovery. Moreover, the setup has been designed to be compatible with the existing software and hardware infrastructure of the Virgo detector. In this paper, we discuss the optical properties of this squeezing setup, the locking techniques, and the automation algorithms.