This paper presents an experimental/theoretical study of methods to identify and control a repetitively-pulsed high power microwave source. A neural network was used to model the system and quantifier elimination (QE) theory is used to search for suitable operating conditions.
Proceedings of the 1997 American Control Conference
Electromagnetic devices, backward wave oscillators, Electromagnetic modeling
Abdallah, Chaouki T.; W. Yang; E. Schamiloglu; and V. Souvalian. "On the control of a high power backward-wave oscillator using quantifier elimination methods." Proceedings of the 1997 American Control Conference 5, (1997): 3255-3256. doi:10.1109/ACC.1997.612062.