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

Researcher solves nearly 60-year-old game theory dilemma

To understand how driverless vehicles can navigate the complexities of the road, researchers often use game theory—mathematical models representing the way rational agents behave strategically to meet their goals.

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