IEE Proceedings. Control theory and applications