To appear in the IEEE Transactions on Automatic Control, 2009 (with P. Seiler, A. Packard, and G. Balas).
pdf version