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.


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 ...