The MICROREC K4.1 is a digital microprocessor-based automatic voltage regulator (AVR) and excitation control system manufactured by ALSTOM . It is designed for brushless excitation systems in large synchronous generators used in power plants, including both steam turbine and gas turbine generator sets .