Model reduction for controller design for infinite-dimensional systems: theory and an example | IEEE Conference Publication | IEEE Xplore