Abstract Future and present superconducting linear accelerator projects based on superconducting resonators have tight requirements on field stability that vary with their application. The vacuum ultra violet free electron laser (VUV–FEL) that is currently commissioned at DESY, Hamburg, requires a stability of 10 −3 in amplitude and 0.1° in phase. The upcoming X-ray free electron laser (XFEL) is even more demanding by one order of magnitude. Additionally, these machines need to provide a high reliability and availability, since light sources serve as user facilities. Facing the large number of RF stations as for the case of an international linear collider, this is even more challenging. Therefore, a high degree of automation is mandatory for the low level RF (LLRF) control in order to accomplish for these demands. At the VUV–FEL, an automation framework based on the techniques of finite state machines has been developed and tested. It provides already a number of automated procedures that improve the operation of the VUV–FEL. It is a design goal to develop a framework that is general enough to be applied to future accelerator projects.
[1]
Hany H. Ammar,et al.
Finite State Machine Patterns
,
1998,
EuroPLoP.
[2]
T. Schilcher,et al.
Vector sum control of pulsed accelerating fields in Lorentz force detuned superconducting cavities
,
1998
.
[3]
David Harel,et al.
Statecharts: A Visual Formalism for Complex Systems
,
1987,
Sci. Comput. Program..
[4]
K. Butts,et al.
Symbolic verification of executable control specifications
,
1999,
Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).
[5]
Pushmeet Kohli.
A Classifier System Based on Evolved Finite State Machines
,
2003,
IICAI.