Now showing items 1-1 of 1

  • [2006-03-10] Applications of Quantifier Elimination Theory to Control Theory 

    Abdallah, C.T.; Dorato, P.; Liska, R.; Steinberg, S.; Yang, W.
    In this paper we show how a number of interesting linear control system analysis and design problems can be reduced to Quantifier Elimination (QE) problems. We assume a fixed structure for the compensator, with design ...