On the design of non-fragile compensators via symbolic quantifier elimination

In this paper symbolic quantifier elimination methods are used to explore the fragility of feedback compensators, and to design feedback systems with non-fragile compensators. A compensator is said to be fragile if given variations in compensator parameters result in significant deterioration of feedback performance. The issue of fragility is important in understanding the level of accuracy required to implement a given compensator design