News tagged with control theory

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

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast

The paradox of temptation

Does the mere availability of something tempting weaken the will to resist? The answer is of more than theoretical interest to public health experts, and the problem goes far beyond serious addictive disorders. Just think ...

Jan 30, 2009
4 / 5 (6) 1