IEEE Transactions on Automatic Control (informationswissenschaftl. Veröffentlichungen)