IEE Colloquium on Symbolic Computation for Control (Ref. No. 1999/088)