Symbolic computing has made a significant impact in the field of control engineering. This book, which brings together contributions from leading international experts in the field, provides an up-to-date treatment of various issues in system modelling, analysis, design and synthesis methods.