抄録
Recently computer algebra methods are frequently utilized to solve engineering and industrial problems. In control community computer algebra methods such as {Gr\"obner basis} and {quantifier elimination} are widely used to resolve many unsolved important control problems. In this talk we show how we can solve some difficult problems in control by using such symbolic methods with concrete control examples.
