The Transactions on Automatic Control publishes high-quality papers and technical notes on the theory, design and applications of control engineering. The Transactions is published monthly by the Control Systems Society of IEEE.

Publisher
IEEE
Website
http://www3.nd.edu/~ieeetac/

Some content from Wikipedia, licensed under CC BY-SA

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...