In the IEEE Transactions on Automatic Control, the IEEE Control Systems Society publishes papers on the theoretical foundations of automatic control.