IEEE transactions on automatic control (The Tnstiture of Electrical and Electronics Engineers)